関数型プログラミング言語Haskell Part13
■ このスレッドは過去ログ倉庫に格納されています
0728717
2011/01/30(日) 15:24:26自信ないが結合法則は圏論でも集合論でも意味は同じだと思う
圏論のMonad
T:(a -> b) -> m a -> m b
η:a -> m a
μ:m (m a) -> m a
Haskellのモナド(Kleisi triple)
T:(a -> b) -> m a -> m b
η:a -> m a
*:m a -> (a -> m b) -> m b
Arrow版は知らない
■ このスレッドは過去ログ倉庫に格納されています