2007-01-28 OCamlとSMLの違い (3) ML レコード型を使用する前にtype宣言で宣言しなければならない SMLのデータ型のことを、バリアント型と呼ぶ 「データ型」という名前は何を指しているのか分かりにくいので、別の名前にするのは良いと思う。