モナド (プログラミング) - Wikipedia

関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。[1] 広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる[1][2]。 モナドの概念や用語

[nishikawasasaki]

Wikipediaの「モナド」読んだらわけがわからないよとつぶやいていた 「モナド (プログラミング) - Wikipedia :

[hamamuratakuo]

モナド（monad）は、計算を表現する構造である。ジェネリック型を構築するための関数型デザインパターン。モナドは一種の関手であり、通常は圏論における強モナドを指すことが多い。

[hi-hats]

モナディックに見に来るよう

[nacika_inscatolare]

すっげぇわかりやすい

[crist18]

“モジュール性を持たせた表示的意味論の枠組み”

[fjwr38]

わからん

[naka-06_18]

「モナドの名称は、圏論のモナド（モノイド＋トライアド）に基づいており、ライプニッツのモナド（単子論）とは無関係である。」

[heignamerican]

program is NOT mapping

[hfu]

「圏論のモナド（モノイド＋トライアド）に基づいており、ライプニッツのモナド（単子論）とは無関係」

[Itisango]

解らん。

[Zoe]

純粋関数型言語で、I/O等の副作用や順序処理を埋め込む。ライプニッツのと異なる。