Haskel モナドの解説 from 2ch - From a Far East Island735 ：デフォルトの名無しさん ：2007/02/15(木) 00:11:39 >>733 3行で説明するのは俺には無理． まず定義5．これは実際に手を動かすと見えてくるので， 具体例でやるのが良いと思う．以下はその pdf にもある例． 1. リスト函手 ・型 A に対し T A は A のリストを作る： T A = [A] ・関数 f :: A -> B に対し T f :: [A] -> [B] は次の関数を作る： T f = map f ・μ_X は X 型のリストのリストをならして X 型のリストを作る： μ_X = concat ・η_X は X 型の値 x からそれだけからなる [X} 型のリスト [x] を作る： η_X = singleton = (:[]) これらを図に代入して，ちゃんと可換になることを確認するよろし． 736 ：デフォルトの名無しさん ：2007/0
