у него там моделятся какие-то таски\джобы, он взял за юнит Resolved

но смысл в том, что instance Monoid гарантирует тебе существование категории. и наоборот.

хз по каким соображениям, ну помимо указаний в элмиш бук

я в курсе. я просто отмечаю, что мы пишем код для решения объективно существующей проблемы в реальном мире, и в духе ддд в коде не должно быть ничего, не имеющего отражения в реальности. т.е. мы моделируем реальный мир, а не наоборот

и часто этот мир дан нам в таких ощущениях, что теоркат не может его адекватно смоделировать. что поделать, подавляющее число задач крайне тривиальные

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

но! он хотя бы что-то делает на пути, это уже радует.

Ок, я нашел, спасибо.


@Prunkles
А зачем там нужен bind и pure? Чего хочется добиться?

он уже дал показания по этому эпизоду

Ну вообще да. pure, return. Вот только оба эти слова уже зарезервированы

Аж собакен сагрился

Т.е. в хаскеле реализация тайпклассов даёт кучу функций за бесплатно.

Чего хочется получить тут?

А, не так прочитал

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

(но при этом важно, чтобы выполнялись соответствующие законы, т.к. на них опираются эти функции)

а теоркат хрен ложил на реальный мир и в этом прелесть как теорката конкретно, так и чистой математики в общем.

ну ему чуть дальше идеешечка серым отметит мертвый код и он может задуматься, что или чего-то не хватает, или что-то лишнее

Вообще, изначально задача была в том, чтобы сделать тривиальным map, который каждый прекрасно понимает и без какого-либо погружения в тк. Но потом я вспомнил, мол, мап можно выразить через байнд и пьюр, а байнд мне тоже может пригодится. Так почему бы не сделать так?

И таким вот образом всё и получилось

Не знаю уместно это или нет, но я на всякий случай тебе проясню: дело далеко не в том, чтобы у тебя был bind и return и даже того факта, что они удовлятворяют особой магической сигнатуре тоже недостаточно. У них еще должна быть "правильная" семантика, которую математики в лучших своих традициях определяют как набор инвариантов - логических утверждений, которые истины в любом "состоянии" системы. Проверить выполнение этих требований погромистом чаще, реже программистом компилятор не может, поскольку это NP-сложная задача. Как следствие, мало найти что-то, что выражается как return и bind, надо еще чтобы они в этом конкретном случае удовлетворяли этим непреложным законам.