あどけない話

Internet technologies

2008-09-27から1日間の記事一覧

モナド則再び

モナド則が未だに分りません。しかし、ちょっとだけ理解が進んだのでメモしておきます。 復習 まず、「モナドのすべて」から、モナド則を引用します。 return x >>= f == f x m >>= return == m (m >>= f) >>= g == m >>= (\x -> f x >>= g) 最初の規則は re…