Haskell とは

• 強力な型検査を持つ
  • プログラムを正確に書くのに適している
  • ソフトウェアの開発プロセスで一番コストのかかる保守を容易にする
• 優れた並列/並行機能を提供する
  • 軽量スレッドを持つためネットワークサーバの実装にも適している

純粋関数型言語

• 関数型言語 → 式でプログラムを構成する
  • 命令型言語 → 命令でプログラムを構成する
• 純粋 → 純粋な関数と副作用のある関数を完全に分離
  • 一方向性：副作用のある関数から純粋な関数を呼べるが、その逆は NG
  • 純粋な関数の中では再代入ができない