モナド則が未だに分りません。しかし、ちょっとだけ理解が進んだのでメモしておきます。 復習 まず、「モナドのすべて」から、モナド則を引用します。 return x >>= f == f x m >>= return == m (m >>= f) >>= g == m >>= (\x -> f x >>= g) 最初の規則は re…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。