SAKAI Masahiro - Monad Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= Monad
== 定義
endo functor T と natural transformation η: Id->T, μ:T^2->T の組 (T,η,μ) が
以下の条件を満たすとき、Monadと呼ぶ。
(FIXME)
== メモ
Monadから((<Kleisli Category>))を定義することが出来る。
== リンク
* ((<"モナドのすべて 〜 Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド "|URL:http://www.sampou.org/haskell/a-a-monads/html/>))
== 定義
endo functor T と natural transformation η: Id->T, μ:T^2->T の組 (T,η,μ) が
以下の条件を満たすとき、Monadと呼ぶ。
(FIXME)
== メモ
Monadから((<Kleisli Category>))を定義することが出来る。
== リンク
* ((<"モナドのすべて 〜 Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド "|URL:http://www.sampou.org/haskell/a-a-monads/html/>))