- 430 名前：デフォルトの名無しさん mailto:sage [2015/06/03(水) 10:53:49.25 ID:lNaMRMgL.net]
- 順番が逆じゃないか？圏論で言うところのモナドってのは<T,η,μ>の3つ組が
µ(Fµ) = µ(µF) と µ(Fη) = idF = µ(ηF) を満たすもの、と定義されている。
Haskellのモナドクラスってのは単にμとηに相当する関数を持っていることを要請するだけで、
上の式を満たすようにインスタンスを定義しないと圏論で言うモナドにはならない。
Haskellのモナド3則は、上の式をKlisli starを使って書き直すと出てくるんじゃなかったっけな。
一度やったが、ここだけやっても面白くなかった記憶がある。
