関数型プログラミング言語Haskell Part3

関数型プログラミング言語Haskell Part3 at TECH

206:デフォルトの名無しさん
04/10/14 01:54:56
んじゃ自分の理解度の確認を兼ねて。（突っ込みよろしく）

モナドは数学上はモノイドといって単位元を持つ半群のこと。
一応簡単な説明。
（Ｘ * X ) * X = X * ( X * X )　といった「結合側」が成り立つ演算＊があって
（Ｅ * X ) = ( X * E ) = X となる単位元Ｅを持つようなＸのこと。

X　が整数だとすれば * は足し算 E は 0
もちろん * を掛け算 E は１としてもいい。
* を文字列の結合 , Eを空文字列 "" とすれば文字列もモノイドとみなせる。

で、ＨａｓｋｅｌｌのＩＯ型には
上の文字列モナド(モノイド)の1文字づつの代わりにＯＳのシステムコール呼び出しの機械語が
入っていると思えばいい。

ＩＯﾓﾅﾄﾞA( [キー入力] ) >> ＩＯﾓﾅﾄﾞB( [画面出力] ) 　を適用すると　
　ＩＯﾓﾅﾄﾞＣ( [キー入力]の次に[画面出力] )　になる

みたいな。
で　どんどん >> や >>=で繋いでいくわけ。

もちろん結合則も成り立つ。
ちなみにreturn 関数が返すＩＯ型が単位元になってる。

これはreturnの返すＩＯには何もシステムコール？が含まれてないから
上の文字列モナドの空文字列みたいな感じ

これで宜しいでしょうか>>204

次ページ

続きを表示

1を表示