http://xgrommx.github.io/rx-book/content/resources/reactive_libraries/index.html - норм списочек.

там сбоку подсписки по rx,bacon,...

я про сайдбар меню

?

пока кажется водянистой довольно

почитал дальше середины и стало классно, беру свои слова обратно

Вопрос к тем кто читал и Mostly Adequate Guide и Functional Programming in JavaScript. Обязательно ли читать ОБЕ эти книги? Являются ли эти две книги взаимозаменяемыми?

После прочтения одной, стоит ли тратить время на вторую? Особенно если времени мало.

со второй половины можеш прочесть Functional Programming in JavaScript

А как в рамде делать шаблонизацию строк на подобии template string из es6 или lodash.template?

А как в рамде делать шаблонизацию строк на подобии template string из es6 или lodash.template?

Зачем в Либе делать что-то что есть в языке?

Ну типа чтобы было point-free.

Ну типа чтобы было point-free.

Es template strings берут переменные из контекста

Тут не получится пф

Хочется такого https://goo.gl/2bEJDm

Можно github.com/citycide/babel-plugin-partial-application юзать. Но это, конечно, не для прода

Вообще pointer-free в языке без типов очень сомнительная вещь. Быстро страновится жутко неочевидно, какие структуры данных должны приходить в функции

Так хотя бы через деструктуризацию можно описать данные

вырезал из ngrx, ng (вот вся идея вместе с эффектами) https://jsbin.com/lugocit/3/edit?js,console

Так хотя бы через деструктуризацию можно описать данные

Жс без типов вообще не нужен

и если кому интересно вот мои старые эксперименты с возможностью обновлять или удалять reducers https://jsbin.com/nujune/10/edit?html,js,console

вырезал из ngrx, ng (вот вся идея вместе с эффектами) https://jsbin.com/lugocit/3/edit?js,console

На классах реализовал, прикольно.

На классах реализовал, прикольно.

а что?)))

Не ожидал от тебя, а так вообще хорошая идея.

так это ngrx без ng

https://www.sitepoint.com/switching-from-react-to-cycle-js/

И что, тут кто-то свичнулся уже?

И что, тут кто-то свичнулся уже?

Ток в другую сторону

?

Кмк, сейчас уже даже не стоит вопрос использовать реакт или нет, слишком много бонусов от экосистемы)

ага бонусов от экосистемы ng2 :D

))

ana,cata,homomorphism,f-(co)algebra

Можно просто использовать реакт как чисто view, благо в recompose предоставляются утилиты для стримов компонентов

ana,cata,homomorphism,f-(co)algebra

О, найс

хочу сделать под все диаграммы)

мне нравится что Кметт обобщил все это и вывел некую сущность Base что более матерей чем Fix

Base Functor

vs Fixed Functor

потому что можно написать так data ListF a b = NilF | ConsF a b deriving (Functor, Foldable, Traversable) а потом просто сделать [] представителем Recursive, Corecursive указавши при этом, что базовый функтор для ListF будет []

ну или сгенерить)) TemplateHaskell

потому что можно написать так data ListF a b = NilF | ConsF a b deriving (Functor, Foldable, Traversable) а потом просто сделать [] представителем Recursive, Corecursive указавши при этом, что базовый функтор для ListF будет []

Интересная идея

ага не надо возится с Fix

приблизительное дерьмище на js буде такие представители recursive corecursive List.prototype.embed = function() { return this.case({ Nil: () => [], Cons: (x, xs) => [x, ...xs] }) } Array.prototype.project = function() { if(this.length > 0) { const [x, ...xs] = this return Cons (x, xs) } else { return Nil } }

где

var List = Type({ Nil: [], Cons: [T, T] }) const { Nil, Cons } = List

дальше вот так

const hylo = (f, g, t) => f(g(t).map(x => hylo(f, g, x))) const cata = (f, x) => hylo(f, t => t.project(), x) const ana = (g, x) => hylo(t => t.embed(), g, x)

ну и простой пример

const take = n => xs => { const go = t => i => { return t.case({ Nil: () => [], Cons: (a, k) => { if(i === 0) return [] else return [a, ...k(i - 1)] } }) } return cata(go, xs)(n) }

соберешь?)) в рабочий код?)

я уже все дал

соберешь?)) в рабочий код?)

До блока с hylo cata всё уже есть ?

не

List не классический индуктивный тип

Cons: [T, T]

значит любой тип

ERROR: S client not available

это не индуктиный хвост там

значит любой тип

Array(2) из объектов любого типа?

ну это в union-type делается конструктор данных

Я знаю, просто уточняю)

Говорю ж, до блока с hylo всё есть ?

ну тогда осталось дело за малым)

Причём const { Nil, Cons } = List не обязательно, если List сам является конструктором, который бы кастовал нужный тип из union

но мне удобней писать Cons а не List.Cons

Не, я не про это

const list1 = List( [] ) const list2 = List( [ T, T ] ) list1.type // => Nil list2.type // => Cons

(Да, это не синтаксис union-type)

wat?)

wat?)

const Point = Type`Point`({ x: Number, y: Number, }) const Shape = Union`Shape`({ Line: { start: Point, end : Point, }, Circle: { center: Point, radius: Number, } }) const { Line, Circle } = Shape const point1 = Point({ x: 0, y: 10 }) const shape1 = Shape({ start: { x: 0, y: 0 }, end : point1, }) shape1.type // => Line { center: { x: 2, y: 2 }, radius: 1 } instanceof Shape // => true { center: { x: 2, y: 2 }, radius: 1 } instanceof Line // => false const shape2 = Shape({ center: { x: 2, y: 2 }, radius: 1 }) shape2.type // => Circle shape2.equals( Circle( { center: { x: 2, y: 2 }, radius: 1 } ) ) // => true

ты только говорил про свою либу)) но ничего не показывал)

У меня синдром самозванца, плюс мало описания, поэтому я не решился давать ссылку сюда ?

https://github.com/zerobias/mezzanine

шо це? <+T> привет скала?

Ну я решил что мета-тег нет смысла мешать с декларацией типа, поэтому тег отдельно, данные в скобках — отдельно)

охренеть

как будто китайцы на русском говорят

впринципе слова знаю, но ничего не понимаю (почти)

<+T: *, +P, +F> ох скала... а где сабтайпинг?

если есть <+T> то и <-T> должно быть)

https://github.com/zerobias/mezzanine/blob/master/src/type/type-container.js#L18 ?)

<+T: *, +P, +F> ох скала... а где сабтайпинг?

Ты как-то немного не так воспринял, кажется) Это не скала

если есть <+T> то и <-T> должно быть)

Если Shape принимает { start: { x: Number, y: Number } } то подоёдет абсолютно любое, что подходит под эту декларацию

ну а в скале как?)

Я отталкивался от возможностей и кейсов жс

http://docs.scala-lang.org/tutorials/tour/variances.html

этот вообще сдурел) https://github.com/gcanti/typelevel-ts