関数型言語 - ntuf/Tips GitHub Wiki

計算アルゴリズム，つまり逐次実行，条件分岐，繰り返し（または再帰）の組み合わせと，伝統的な数学の間には大きな乖離があるように見える．この両者はラムダ式によって見事に統一されるのだが，それでもなお，ユーザとの入出力，非決定性，状態などの重要な概念と数学の参照透過性という概念の間には大きな溝がある．この両者は最終的にモナドという数学概念を通して統一的に扱えるようになる