ML系言語
ML系の言語
Standard ML
OCaml
F#
Lispと対比する意味でHaskellがここに置かれることもないではない