Arquivo de texto escrito em ML, uma linguagem de programação funcional; pode ser escrito usando o Padrão ML (SML) ou uma das várias variedades da família ML, incluindo Caml, Camel Objetivo (OCaml), JoCaml, ML Estendido e MacroML; freqüentemente usado em design de linguagem para desenvolver compiladores ou outros interpretadores de código-fonte; também usado em ambientes acadêmicos para provar teorias.
Embora existam muitas variantes de ML, OCaml é a versão mais popular.
NOTA: A linguagem F # da Microsoft também faz parte da família ML, pois é derivada de ML. F # é amplamente compatível com o OCaml.