Vad är ML fil?
En ML-fil är en textfil skapad med det allmänna funktionella programmeringsspråket ML (ofta känt som Meta Language). Den innehåller ML-källkod som oftare används i programmeringsspråksforskning och design med helt definierad semantik. Det finns flera varianter av ML med Caml som den mycket använda. Andra inkluderar Objective Caml (OCaml), JoCaml, Extended ML och MacroML. ML-språk används ofta för kompilatorskrivning, automatiserad teorembevisande och formella verifieringar.
