Formát souboru ML - soubor zdrojového kódu ML
Co je soubor ML?
Soubor ML je textový soubor vytvořený pomocí funkčního programovacího jazyka ML (často známého jako Meta Language). Obsahuje zdrojový kód ML, který se častěji používá při výzkumu a návrhu programovacích jazyků pomocí zcela definované sémantiky. Existuje několik variant ML s Caml jako široce používaným. Mezi další patří Objective Caml (OCaml), JoCaml, Extended ML a MacroML. Jazyk ML se běžně používá pro psaní kompilátoru, automatizované dokazování teorémů a formální ověřování.