モナドを理解する - 迷える者への手引き

いずれにせよ、システムの状態が時間の関数であり、そのため時間は考慮しなければならない余分な要素となります。"xの値は何？"と問い合わせることは実際できません。代わりに、"時間tにおけるxの値は何？"と問い合わせなければなりません。これではコードを判断するのが難しくなり、複雑な要素が増えます。結論としては... 状態あり: ダメ! 状態なし: グッド! 式とアクション 式とは値を持った文です。たとえば以下のコードを考えてみましょう。 x = 5 y = x + 7 x = y + 1 最初のxは値が5であるという式です。最後のxは値が13であるという式です。コードは他の式も含んでいます。たとえば真ん中の行は、x + 7が12という値であるという式です。 ほとんどのコンピュータ言語では、キーボードから読み込むコマンドは式であり、その式は値を持っています。次の文を考えてみましょう。 x = ne

[hamamuratakuo]

私たちが住む世界はステートフルです。この点についてできることは何もありません。モナドはシステムから状態を取り除くわけではありません。しかしモナドはプログラムコードから状態への言及を取り除きます。

[ram1009]

“Spring”

[waman]

『関数型プログラミングが急速に広まり、"モナド"という関数型の構造がまた初心者を心底恐れさせています』『モナドはモナドについての記事が詳細すぎるかほとんど詳細がないかであるため理解が難しい』

[yu_dotnet2004]

IOアクションに限って言えば、Promiseみたいなものだというメタファが分かりやすいような気もする。でも、それは本質的な説明にはならないか。

[wordi]

C#だけど6.0で?.、??演算子が使えてLINQと両方そなわり最強に見える

[nati_ueno]

モナドのすべての方が分かりやすい モナドの物理的なアナロジーがおススメ

[nobuoka]

最近モナドを学んでみて、「IO 処理などをそのまま関数として実行するのではなくてアクションとして表現する」 (→ モナド) って考え方は関数型プログラミングじゃなくても有用だよなーと思ってる。