写在ML，函数式编程语言的文本文件;可以使用标准ML（SML）或ML家族的几个品种之一，包括作为CAML，目的CAML（OCaml的），JoCaml，扩展ML和MacroML被写入;经常在语言设计用于开发的编译器或其他源代码解释器;在学术环境中也可用于证明理论。
虽然有ML的许多变种，OCaml的是最流行的version.NOTE：微软的F＃语言也是ML系列的一部分，因为它是ML的衍生物。 F＃是OCaml的大体兼容。
