Syntactic Categories, Adjoint Functors and Monads.
概要 プログラマ向けのモナドに関する解説。そもそもモナド則って、なんであの形になってるのって思っている方向け。圏の間の”同型”とは何なのか、そこら辺、つまり随伴関手の理論周りから解説する。まあ...
0
0
Comment0
2 search resultsShowing 1~2 results
You need to log-in
概要 プログラマ向けのモナドに関する解説。そもそもモナド則って、なんであの形になってるのって思っている方向け。圏の間の”同型”とは何なのか、そこら辺、つまり随伴関手の理論周りから解説する。まあ...
概要 近日投稿予定。
2 search resultsShowing 1~2 results
Qiita is a knowledge sharing service for engineers.