умный дядя Клейсли

[sassa_nf]

А вот какая часть его трипля постулирует способ extension f: A → T B в f*: T A → T B?

То есть, что задаёт способ "обхода списка" T A - monadic vs applicative

id_TA = η_TA ; id*_TA - это понятно. Но для определения μ ещё же нужно показать id_TA = T η_A ; id*_TA.

Comments

[udpn.livejournal.com]

Я ничего не понимаю в этой нотации из теорката, но

f* = flip (>>=) f

[sassa-nf.livejournal.com]

спасибо.

Эта часть мне понятна. Мне интересно получить ответ, что именно я не вижу в определении трипля. Если extension operator задавать на основании μ монады, то вопросов нет.

А вот если задавать μ на основании extension operator, если это можно делать, то не ясно, откуда следуют монадичные законы. Щас не помню, откуда взял, но тогда мне казалось, что, задавая трипль, мы получаем монаду.