AD
Собственно об этом я и говорил когда писал о своцствах
Size: a a a
2019 September 21
ДК
Зачем мне реализовывать мап, ты мне это лучше объясни
AD
Один раз для любой монады
d
@Racsicofalapatorius что такое монада
T
@Racsicofalapatorius что такое монада
Моноид в категории эндофункторов, это даже Олёша знает
AD
По простому - нечто что содержит в себе ещё что - то, что структурно выражается в наличии дырки в типе. Имеет две операции которые подчиняются законам
AD
Да было, о том из чего её можно построить
d
По простому - нечто что содержит в себе ещё что - то, что структурно выражается в наличии дырки в типе. Имеет две операции которые подчиняются законам
про законы норм, но перед буллщит абстрактный
AD
Увы теоркат булщит абстрактный. Изобретатели сами его так и назвали
AD
302 -> category theory for programmers scala edition.
AD
Там это кстати было и написано лучше чем я тут попытаюсь изобразить