purescript также, scala cats не смог найти подобного, мб они обобщили где-нибудь. в целом у них поиск неудобный

Я не понимаю что показывает факт наличия either, от которого я отказываться не призываю

Просто не использую чтобы не плодить сущности

ладно ок

наверное мне мешает то что у меня нет никакой интуиции за словом fold и я ищу её производные

так бы я например посмотрел на функцию и сказал бы что – ну да действительно её действия можно описать словом fold

вот это подтверждает удачность выбора названия

Альтернатива это alt

но так как единственное где можно было бы увидеть такую функцию это either то пожалуй её можно было бы назвать eitherFold

Альтернатива это alt

эммм

но так как единственное где можно было бы увидеть такую функцию это either то пожалуй её можно было бы назвать eitherFold

Не единственное

Понимайте и именуйте как хотите)

Не единственное

ещё пример?

оу

тут кажется были сообщения

ещё пример?

Maybe так же

These

Identity

наверное с тех пор как Applicative a => Monad a смысл в MonadPlus утратился

Maybe так же

сигнатура разная

наверное с тех пор как Applicative a => Monad a смысл в MonadPlus утратился

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

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

это значит да?

у аппликатива ограничение быть функтором, а у монады быть функтором и аппликативом

сигнатура разная

Ожидал такой ответ. Не проблема, это всё в js

кстати в ризоне тоже такое будет ок

ризон не нужен

No reason

Альтернатива это alt

вот это сообщение до сих пор не понимаю с чем ты хотел возразить

300 сообщений ?

ни о чем

о том почему у вас в жс монадки с дак тайпингом

лолол

Хех

http://jlmorgan.github.io/node-lodash-fantasy/index.html

http://jlmorgan.github.io/node-lodash-fantasy/index.html

О мой бог

да что попалось то и скинул

Мне кажется, фолд легко понять через лямбда-исчисление

Это eliminator. Он позволяет без всяких паттерн-метчингов свернуть значение одного типа в значение другого А в ЛИ как раз все значения - eliminator.

В Ramda так получится? https://codepen.io/anon/pen/ZXYaLq

по ленивому

Это eliminator. Он позволяет без всяких паттерн-метчингов свернуть значение одного типа в значение другого А в ЛИ как раз все значения - eliminator.

вот тебе мейби через Черча и runMaybe это и есть фолд тот котрый тут обсуждался newtype MaybeC a = MaybeC { runMaybe :: forall r. r -> (a -> r) -> r }

Ну да nothing = λf n. n just = λx. λf n. f x B = λf g x. f (g x) I = λx. x map = λf m. m (B just f) nothing join = λm. m I nothing fold = λf n m. m f n -- !!!

просто у меня через ранктайпинг

В Ramda так получится? https://codepen.io/anon/pen/ZXYaLq

почему не? compose( filter(a => {console.log("FILTER"); return a%2 ===0}), map(a => {console.log("MAP"); return a + 3}), take(6) )(range(1,10000000))

Ты имеешь ввиду почему не compose вместо flow или поченму бы и нет и скидываешь пример из Ramda? :)

Не compose чтобы привычно было для тех кто любит вкидывать с Pipe, там по моему слево направо

Вот в Ramda я так понимаю не получится так? по ленивому я уже попробывал, может нужно какой то особы парамтер передать куда то, но я не разобрался чтот ?

Вот в Ramda я так понимаю не получится так? по ленивому я уже попробывал, может нужно какой то особы парамтер передать куда то, но я не разобрался чтот ?

const t = pipe( filter(a => {console.log("FILTER"); return a%2 ===0}), map(a => {console.log("MAP"); return a + 3}), take(6) ) transduce(t, flip(append), [], range(1,10000000))

Вот в Ramda я так понимаю не получится так? по ленивому я уже попробывал, может нужно какой то особы парамтер передать куда то, но я не разобрался чтот ?

const t = pipe( filter(a => {console.log("FILTER"); return a%2 ===0}), map(a => {console.log("MAP"); return a + 3}), take(6) ) into([], t, range(1,10000000))

Мм внутрь трансдюса это переносим, понял, в общем то тоже очень неплохо)

Вместо усложнения фильтра можно просто использовать tap

это понятно) но вопрос был не в этом

https://github.com/fantasyland/fantasy-land#functor

https://github.com/cujojs/most/blob/master/docs/api.md#map

вопрос - а как же полиморфность интерфейса ?

map и рамды, отображает ключи из most.Subject

а most.map - делает то, что нужно

филосовский вопрос, как эту путаницу разруливаете ?

если в рамдовский map передать функтор, то она не вызывает встроенный в него мап

как же тогда поинт фри ?

если в рамдовский map передать функтор, то она не вызывает встроенный в него мап

А ты проверял это?

ERROR: S client not available

А, сорян, вижу

map и рамды, отображает ключи из most.Subject

Вероятно ты что-то не так делаешь

Вариант два: автор most-subject не может в fl

Так как он чисто по своей теме угорает, то второе вполне ожидаемо

То есть в оригинальном most map гарантированно работает как ожидается

Если что, ещё раз: map, chain, equals и ряд других методов рамды диспатчатся в методы переданного объекта, если таковые там будут

https://github.com/ramda/ramda/blob/master/src/map.js

мда увидел

у этого "паттерна" есть название ?

вроде Either - но покороче его хотелось бы иметь

по идее он у тебя Maybe должен возвращать

а так на cond похоже

Чет сложное

Maybe с ap ?

хз

это тс или флоу?

ТС

что здесь не верно ?

лол

лол

ap не так работает

А стоп

Хз)

@ZeroBias

Applicative бывает без функтора?

A value that implements the Applicative specification must also implement the Apply specification. A value that implements the Apply specification must also implement the Functor specification.

Не оч правильный ap)

map ещё нужен и of