モナド - wint

モナド

from 圏論の学習

Haskellで有名になったヤツ

値の文脈を表現できるらしいwint.icon

計算作用を表現できる

https://ncatlab.org/nlab/show/monad

https://ja.wikipedia.org/wiki/モナド_(圏論)

自己関手の圏におけるモノイド対象

https://qiita.com/myuon_myon/items/7e20c4b3af83597547d8

string diagram

https://ncatlab.org/nlab/show/string+diagram

from Programming Joke

http://m-hiyama.hatenablog.com/entry/20060419/1145432492

https://ubiteku.oinker.me/2016/01/20/関数型つまみ食い-モナドが難しいと思われている/

https://qiita.com/norkron/items/aff3ce925edc6be74923

もう諦めない圏論入門―モノイドからモナドへ―

自然変換の垂直合成と水平合成を理解しないと T μ,μT,T η,ηTT μ,μT,T η,ηT の意味が分からないのでつらい。

発展

Applicative

https://blog.miz-ar.info/2018/12/applicative-functor/

https://kazu-yamamoto.hatenablog.jp/entry/2019/04/11/111238

https://hexirp.github.io/blog/articles/category_theory_for_traversable.html