KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Блин, очень жесткое душилово от Олега
https://t.me/scala_ponv/761996
Очень токсично.
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
450 membersпожаловаться на группу
2019 December 23
Oℕ
например можно сказать, что монада состоит из:
категория С, функтор С -> C, морфизмы Id -> F, F * F -> F , ассоциативность, левая и правая единицы
категория С, функтор С -> C, морфизмы Id -> F, F * F -> F , ассоциативность, левая и правая единицы
Oℕ
но можно считать, что С уже зафиксировано
Oℕ
тогда монада - это всё, начиная с функтора
Oℕ
просто без ограничения что F это эндофунктор эт наверное не пашет
пашет
Oℕ
просто тайп-конструктор - это тоже функтор в дискретной категории скалатипов
λ
я прост запутался, изначально, ты сказал, что просто F[A]=>A алгебра, но остального не уточнил.
Oℕ
ну значит я имплиситно предполагаю, что exists A
Oℕ
я даже не буду уточнять функтор в какой категории
Oℕ
очевидно, что если F - это контравариантный функтор, то F[A] => A - уже не алгебра
Oℕ
или F может быть эндофункторов в категории изоморфизмов там