モナドってあるでしょ (25)

20 野に咲く名無し@転載禁止 ( (主)) 2024/02/27 (火) 10:54:51.168 ID:0cwFvdXnV

抽象的な概念だからとっつきにくいよね🥺

return x >>= f = f x
モナドに関数適用できてうれしい！

m >>= return = m
値を取り出して包んでも等しい安全！

(m >>= f) >>= g = m >>= (\x -> f x >>= g)
結合してもアンシンアンゼン！

https://i.imgur.com/iHCeGVk.png" data-lightbox="image">https://i.imgur.com/iHCeGVk.png" loading="lazy">
https://i.imgur.com/iHCeGVk.png