OCaml
CamlやOCamlのような方言ではなく、SML(Standard ML)の処理系の実装にCaml Light利用している。完全なSMLを実装する。