モナド

モナドを理解すると悟りが開けるらしい

関数型言語で「プログラムの実行順序を保証」したり「副作用」を表現したいときに使うのが「モナド」

jQueryとかJSDefferedは近い？
http://d.hatena.ne.jp/hiratara/20100308/12...
http://javascript.g.hatena.ne.jp/edvakf/20...

あー下記の「サルでもわかる解説」読んでちょっとわかったかもしれない。副作用の除去は必然だけど、実行順序の保証は十分条件なのかな。その辺はまだよくわからない。けど、言語内では副作用があるのでどうしてもできないので定義が終わった後に処理系が実行してるということがわかった。１つ謎が解けた。