haskellIOモナドの例

Haskell Io Monad Example

例：haskellモナド

-モナドは、ある意味で関数を連鎖させる方法です。 -以前の計算が将来の計算に「影響」を与える可能性があること -状態、非決定論、IO、部分関数、 -そして他にもたくさんのコンセプトがあります。 -モナドには、2つの主要な機能が関連付けられています。 戻る ：：： モナド NS => に -> NS に -最小のモナディックコンテキストに値を置きます （（>> =）。 ：：： モナド NS => NS に -> に -> （（NS NS）。 -> NS NS -モナディック値を「ラップ解除」してに渡すことができます -別のコンテキスト作成機能 -たとえば、Maybeタイプは次のように定義されます データ 多分 に = 何もない | ただ に -多分モナドは次のように実装されます 実例 モナド 多分 どこ --return :: a->たぶんa 戻る NS = ただ NS -（>> =）::たぶんa->（a->たぶんb）->たぶんb 何もない >> = NS = 何もない （（ただ NS）。 >> = NS = NS NS