Скалоебство

[errorrishe]

http://w.pitula.me/2016/monad-proof/
По ссылке The Proof - Monad as a Monoid in Category of Endofunctors
Но почему то пруф на scala типа на пальцах
Надо почитать вечером(хз зачем мне єто)

Comments

[juan-gandhi.livejournal.com]

С какого бы это бодуна.

Начнем с того, что эндофункторы не образуют категорию.

[http://users.livejournal.com/_xacid_/]

чтото категория у него (тем более моноидальная сразу так) не внушает доверия ...
вот почему мы должны вдруг реально поверить ему на слово что перед нами таки сразу моноидальная категория?