モナド則とプログラミング - Qiita

テクノロジーカテゴリーの変更を依頼記事元:

qiita.com/ruicc

26 usersがブックマークコメント

記事へのコメント2件

注目コメント
新着コメント

igrep 宣伝申し訳ないけど「モナド則が実際のプログラミングでどの様に関わっているのか」という意味では http://the.igreque.info/posts/2016/04-monad-in-java.html でもそこそこ詳しく触れていると思うので、読んで欲しいな！

2018/07/06 リンク

nabeen919 >> モナド則とプログラミング - Qiita:

あとで読む

2018/07/06 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

モナド則とプログラミング - Qiita

1. (return x) >>= f ≡ f x 2. m >>= return ≡ m 3. (m >>= f) >>= g ≡ m >>= (\x -> f x >>= g) 等号(≡... 1. (return x) >>= f ≡ f x 2. m >>= return ≡ m 3. (m >>= f) >>= g ≡ m >>= (\x -> f x >>= g) 等号(≡)は置き換え可能であるという意味で読んでください。上から左単位元、右単位元、結合則と呼ばれます。モナド則が満たされたモナドはプログラマにとって何が嬉しいのでしょうか。端的に言ったらコードを分割/組み合わせ/抽象化等が出来るため、嬉しいのです。もう少し言えば、モナド上では自然にプログラミング出来るから嬉しいのです。もう少し言えば、モナド上でいつも通りエンジニアリング出来るから嬉しいのです。モナド則のプログラミング上の意義とは、理解してしまうと本当に当たり前になってしまいます。三日後には嬉しさのことなど忘れてその当たり前のメリットを享受することでしょう。そうして誰もHaskellのモナド則につ