Kas ir ML fails?
ML fails ir teksta fails, kas izveidots ar vispārējas nozīmes funkcionālās programmēšanas valodu ML (bieži pazīstama kā meta valoda). Tas satur ML pirmkodu, ko biežāk izmanto programmēšanas valodu izpētē un projektēšanā, izmantojot pilnībā definētu semantiku. Ir vairākas ML variācijas ar plaši izmantoto Caml. Citi ietver Objective Caml (OCaml), JoCaml, Extended ML un MacroML. ML valodu parasti izmanto kompilatoru rakstīšanai, automatizētai teorēmu pierādīšanai un formālām pārbaudēm.