HaskellとSMLの比較ですね。どちらを学ぶか/使うかという観点でまとめます。 ## Haskell **特徴** - 純粋関数型(副作用はモナドで管理) - 遅延評価がデフォルト - 型クラスによる強力な抽象化 - 活発なコミュニティ、豊富なライブラリ(Hackage) **向いている場合** - 関数型プログラミングを深く学びたい - 実務でも使える可能性を残したい - 最新の型システ