SMLとHaskellの比較ですね。どちらも関数型言語ですが、特徴がかなり違います。 ## SML (Standard ML) **特徴** - **正格評価**（先行評価）— 実行順序が直感的 - 言語仕様が小さく、形式的に定義されている - 副作用（参照、例外）を普通に使える - 強力なモジュールシステム（functor） **向いている人・用途** - 型理論やプログラミング言語の学習