Скалоебство

[errorrishe]

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

Comments

[juan-gandhi.livejournal.com]

Я, кстати, лажанулся. Эндофункторы таки образуют категорию. Но Чувак написал хуйню. Начнем с того, что Identity Functor вовсе не является терминальным элементом. Ну и все, собственно. Чувак лох. (Нонешнее поколение поляков уже не то.)

[zeit-raffer.livejournal.com]

Ну я бы не был так категоричен. Более менее направление правильное. Хотя результат хромает. В идеале он должен был бы: выделить явно описание уровня типов, уровня значений, и уровня утверждений ( про последние он забыл, надо было моделировать предикаты ассертами или тестами). Далее, выразить тип категории, который бы подходил и для моноида и для монады. У него не получилось, значит дзен Скалы он не постиг. И тогда было бы убедительнее. Хотя я сомневаюсь, что такое программтстское определение проще понять, чем математическое. Система типов Скалы не расчитана на такую выразительность, поэтому все равно будет немного некрасиво.