関数型プログラミング言語Haskell Part13
■ このスレッドは過去ログ倉庫に格納されています
0105デフォルトの名無しさん
2010/10/26(火) 20:18:58Data.Maybe.maybeToListを使うと、Maybeの値をリストに変換でき、さらにこの変換がMonadインスタンスと整合する
整合するというのは以下の二つの法則が成り立つこと(なんか圏論の臭いがする)
maybeToList (return x) = return x
maybeToList (x >>= f) = maybeToList x >>= maybeToList . f
■ このスレッドは過去ログ倉庫に格納されています