Size: a a a

2021 March 31

ЗП

Зигохистоморфный Пре... in ФП
Kir
Там соль в том, что Codensity - это частично применённое >>=, так что пытаться засунуть в него другие структуры несколько бессмысленно
я знаю что такое Codensity
источник

ЗП

Зигохистоморфный Пре... in ФП
но у меня выше не Codensity
источник

ЗП

Зигохистоморфный Пре... in ФП
а именно final encoding
источник

K

Kir in ФП
Зигохистоморфный Препроморфизм
но у меня выше не Codensity
Чёрт его знает. Вероятно будет всё то же Free, только c должно быть подклассом монад
источник

AK

Aleksey Kislitsa in ФП
Это чистый Haskell? В ghci повторимо?
источник

АГ

Александр Гранин... in ФП
И вот этого всего про фри монады и ФТ ни в одном моем материале нет и не будет!
источник

АГ

Александр Гранин... in ФП
А есть и будет только то, что реально нужно знать, чтобы решать задачи.
источник
2021 April 05

DK

Daniil Kostin in ФП
решил поделиться достижениями 🙂
Если кто еще помнит.
Спасибо за помощь, теперь все выглядит намного проще и писать удобнее.
источник

АГ

Александр Гранин... in ФП
Daniil Kostin
решил поделиться достижениями 🙂
Если кто еще помнит.
Спасибо за помощь, теперь все выглядит намного проще и писать удобнее.
Nice!
источник

АГ

Александр Гранин... in ФП
Теперь это почти 1:1 LINQ
источник

АГ

Александр Гранин... in ФП
Там вместо bind - SelectMany, и для остальных функций тоже есть аналог. Правда, заставить работать SelectMany для своих монад довольно сложно
источник

DK

Daniil Kostin in ФП
Александр Гранин
Там вместо bind - SelectMany, и для остальных функций тоже есть аналог. Правда, заставить работать SelectMany для своих монад довольно сложно
Встечал в Java SelectMany, помоему, думал что это получение пачки элементов.
Пока и так хорошо, хватает bind и map 🙂 что дальше будет пока не знаю. 🙂
источник
2021 April 13

P

Purple in ФП
Это откуда bind?
источник

DK

Daniil Kostin in ФП
своя реализация монады
источник

AK

Alex K in ФП
чо рли?
источник

AK

Alex K in ФП
!ban
источник

TS

Tester Sama in ФП
очень информативно
источник

AK

Alex K in ФП
бот сломался, уже 3 раза скинул)
источник

TS

Tester Sama in ФП
он и в других чатах так
источник

JS

Jerzy Syrowiecki in ФП
m.binf(f).bind(g).bind(h) — это не монада.
m.binf(a -> f(a).bind(b -> g(b).bind(h))) — вот так монада
источник