Haskell とは

• 強力な型検査 → プログラムを正確に書くのに適した言語
• 実践と研究が両立している希有な言語

純粋関数型言語

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