Скалоебство

[errorrishe]

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

Comments

[juan-gandhi.livejournal.com]

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

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

[errorrishe.livejournal.com]

я ничего тут сказать не могу - пару раз встречал утверждение что это туфта, а тут чувак типа факирские фокусы показывает. Не читал еще если честно - разгар рабочего дня.

[juan-gandhi.livejournal.com]

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

[zeit-raffer.livejournal.com]

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

[zeit-raffer.livejournal.com]

Минуточку. Как это эндофункторы не образуют? Cat(C, C)

[juan-gandhi.livejournal.com]

Да я ошибся. Таки образуют.

Но дальше фигня у автора.

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

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