вернее

liftN(3, unapply(identity))(add(1), add(2), add(3))(1)

Еще для твоего кейса подходит sequence, но это уже изврат и излишество ) sequence(always, [plusOne, plusTwo, plusThree])(1) // => [2, 3, 4]

https://twitter.com/xgrommx/status/883433423016218624

только тут еще juxt не хватает

Ехал траверс через траверс

В документации по either сказано что он принимает любые аппликативы вместо функций. А когда это вообще может быть нужно? Я просто применения хоть ты тресни не вижу

FL based Either

Без мата пожалуйста

?

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

Ну передал я вместо функций две монады. А в качестве проверочного значения что я должен пускать?

Называется Either, или Result. Это как Maybe, только проблему можно подробно описать

Я не проверял именно рамду с ними, но по логике это должно работать так — если первый Either сфейлился (например реквест к серверу недошёл), то пробуем проверить второй объект (например в нём реквест к localstorage и данные там стопудоф есть)

А, соррри! Действительно, если вместо функций подставить монады, то вернет вместо функции монаду )

есть еще Validation это Either с моноидом по Left

Значит опять документация кривая. Должно быть сказано, что either возвращает соответствующий аппликатив, а не функцию

Функционал рамды можно понять только в ходе экспериментов, а не из документации )

Я уже писал вроде, авторы решили не пугать юзеров)

Эээ, хотя не, тут не гони на них) Там же прямо сказано

Что функция может принимать ещё, конкретно)

Сказано что может ПРИНИМАТЬ любой аппликатив, но сказано что возвращает ФУНКЦИЮ

Сказано что может ПРИНИМАТЬ любой аппликатив, но сказано что возвращает ФУНКЦИЮ

https://wiki.haskell.org/Typeclassopedia

Буквоедство уже)

у рамды вообще не тот either http://ramdajs.com/docs/#either

Буквоедство уже)

А откуда я как новичок должен был бы знать что с другими данными возвращается не функция? )

А откуда я как новичок должен был бы знать что с другими данными возвращается не функция? )

где ты вообще про это читаешь?

Подразумевается, что если фраза про аппликативные fl функторы у тебя не вызывает вопросов, то к новичкам ты не относишься))

Я пока только начал догонять что относится к аппликативам, но откуда я могу знать что метод, работая с аппликативами возвращает не функцию (как сказано в документации)?

где ты вообще про это читаешь?

http://ramdajs.com/docs/#either Returns function a function that applies its arguments to f and g and `||`s their outputs together.

и где там про аппликатив?

In addition to functions, R.either also accepts any fantasy-land compatible applicative functor.

ну хуевенько они подошли

у рамды вообще не тот either http://ramdajs.com/docs/#either

Кстати тот вполне. Он же делает lift с монадами, выступает как either.or(either), а не как Either.of

это не тип суммы

это про другое вообще

это поднятый ||

А я про что говорю?

Да, это не тип суммы

В доке так и пишется

Если что, either(Maybe.Just(true), Maybe.Just(false)) // => Maybe.Just(true)

ну и это как-то не правильно

or and liftedOr

ADT в рамде нет и не будет принципиально

ну я про то, что это чепуха делать такое

or и liftedOr в одном месте в одной функции

Я тут постепенно делаю для себе билеты по ramda в studyblue ) Описание either вкратце получилось такое: "Метод, принимающий два аппликатива, и выполняющий над их значениями операцию or."

Хотя не, он вообще с любыми функторами работает. C массивами результат неожиданный ) either([false, false, 'a'], [11]) // => [11, 11, "a"]

[false || 11, false || 11, 'a' || 11]

Вообще да

потому что у js массив гетерогенный

Ну консистентности рамде всё же не хватает) Но хорошо, что вообще не забросили, как ramda-fantasy ?

Я тут тем временем понял, что начал подходить к паттерн-матчингу не стой стороны и mezzanine получился довольно сложным и объёмным. Решил начать с малого, чисто самый распространённый вариант использования case) https://github.com/zerobias/mezza Ноль рантайма, ноль api, 100% code coverage, быстрый⚡️⚡️ Хорошо подходит к redux)

такое же вроде можно с cond сделать

С cond неудобный синтаксис, массивы эти, плюс по сути тут три аргумента — matchBy функция, case функция и название кейса — третье в cond нужно добавлять отдельно

Да и нет тут места для ramda абстракций. Идея в чётком представлении для человека, плюс функция должна быть максимально быстрой

даже for с индексом пришлось юзать ? С рамдой будет значительно медленнее

Сделай тест где это просядет

Сделай тест где это просядет

Тогда нужна штука с аналогичным api на рамде, там не просто один cond

https://twitter.com/bitemyapp/status/884490480586825728

?

?

Ого))

а на скрине руби

ERROR: S client not available

?

хмм

я вроде видел это уже

Я сначала подумал, что python, потом увидел end и дошло.

когда еще на cyclejs писал, натыкался на эту штуку

она не мертвая что ли?

я это еще фиг знает когда видел)

https://gitlab.com/kornelski/babel-preset-php#php7-to-es7-syntax-translator

из одной какашки в другую

Лол

из одной какашки в другую

JS красивая няша.

JS красивая няша.

{}+[]

{}+[]

Нормально)

Вообще, это уже не js, это мини-язык внутри, как пасхалочка. jsfuck или как там.

https://twitter.com/aemkei/status/883052621950537728

лол

ох ts

interface HKT<A, B> { readonly _A: A readonly _B: B } type Algebra<F, A> = <A>(fa: HKT<F, A>) => A type Coalgebra<F, A> = (a:A) => HKT<F, A>

УЗНАЮ АВТОРА С ЧЕТЫРЕХ СТРОЧЕК

алгебры и коалгебры мои

Так в ts это вроде как не работает? gcanti этот метод в flow юзал

HKT fp-ts

flow-static-land в девичестве)

решил RS написать на ts

В flow скоро opaque types будут

type Algebra f a = f a -> a

Придётся ему обратно ливать))

что будет?

opaque data type

link?