Телеграмм чат группы fp

Size: a a a

ФП

2021 March 31

ЗП

Там соль в том, что Codensity - это частично применённое >>=, так что пытаться засунуть в него другие структуры несколько бессмысленно

я знаю что такое Codensity

источник

01:35пожаловаться #1

ЗП

Зигохистоморфный Пре... in ФП

но у меня выше не Codensity

источник

01:35пожаловаться #2

ЗП

Зигохистоморфный Пре... in ФП

а именно final encoding

источник

01:36пожаловаться #3

Kir in ФП

Зигохистоморфный Препроморфизм

но у меня выше не Codensity

Чёрт его знает. Вероятно будет всё то же Free, только c должно быть подклассом монад

источник

01:41пожаловаться #4

Aleksey Kislitsa in ФП

Зигохистоморфный Препроморфизм

а именно final encoding

Это чистый Haskell? В ghci повторимо?

источник

09:14пожаловаться #5

АГ

Александр Гранин... in ФП

И вот этого всего про фри монады и ФТ ни в одном моем материале нет и не будет!

источник

10:02пожаловаться #6

АГ

Александр Гранин... in ФП

А есть и будет только то, что реально нужно знать, чтобы решать задачи.

источник

10:03пожаловаться #7

2021 April 05

Daniil Kostin in ФП

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

источник

11:32пожаловаться #8

АГ

Александр Гранин... in ФП

Daniil Kostin

Nice!

источник

12:09пожаловаться #9

АГ

Александр Гранин... in ФП

Теперь это почти 1:1 LINQ

источник

12:10пожаловаться #10

АГ

Александр Гранин... in ФП

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

источник

12:10пожаловаться #11

Daniil Kostin in ФП

Александр Гранин

Встечал в Java SelectMany, помоему, думал что это получение пачки элементов.
Пока и так хорошо, хватает bind и map 🙂 что дальше будет пока не знаю. 🙂

источник

12:14пожаловаться #12

2021 April 13

Purple in ФП

Это откуда bind?

источник

00:37пожаловаться #13

Daniil Kostin in ФП

своя реализация монады

источник

09:12пожаловаться #14

Alex K in ФП

чо рли?

источник

09:26пожаловаться #15

Alex K in ФП

!ban

источник

09:26пожаловаться #16

Tester Sama in ФП

очень информативно

источник

09:27пожаловаться #17

Alex K in ФП

бот сломался, уже 3 раза скинул)

источник

09:27пожаловаться #18

Tester Sama in ФП

он и в других чатах так

источник

09:27пожаловаться #19

Jerzy Syrowiecki in ФП

m.binf(f).bind(g).bind(h) — это не монада.
m.binf(a -> f(a).bind(b -> g(b).bind(h))) — вот так монада

источник

09:56пожаловаться #20