3
多分モナドはオプションの種類とどのように関係していますか？
私はF＃に関するプレゼンテーションを行っていて、聴衆の誰かがオプションタイプがF＃の多分モナドの実装であるかどうか尋ねたときに、オプションタイプについて話していました。そうではないことはわかっていますが、2つの概念がどのように関連しているかを確認したいと思いました。オプションのタイプがたぶんモナドの演算の結果かもしれないと私には思えますが、私はそれについてさえ確信がありません。 多分モナドとそれをサポートする関数型言語のオプション型の関係を誰かが解明するでしょうか？