Hvad er en ML fil?
En ML-fil er en tekstfil, der er oprettet med det generelle funktionelle programmeringssprog ML (ofte kendt som Meta Language). Den indeholder ML-kildekode, der oftere bruges i programmeringssprogsforskning og -design ved hjælp af fuldstændigt defineret semantik. Der er flere variationer af ML med Caml som den meget brugte. Andre inkluderer Objective Caml (OCaml), JoCaml, Extended ML og MacroML. ML-sprog bruges almindeligvis til kompilatorskrivning, automatiseret teorembevis og formelle verifikationer.
