Ce este un fișier ML?
Un fișier ML este un fișier text creat cu limbajul de programare funcțional general ML (cunoscut adesea sub numele de Meta Language). Conține cod sursă ML, care este folosit mai des în cercetarea și proiectarea limbajului de programare folosind o semantică complet definită. Există mai multe variante ale ML cu Caml ca fiind cel utilizat pe scară largă. Altele includ Objective Caml (OCaml), JoCaml, Extended ML și MacroML. Limbajul ML este folosit în mod obișnuit pentru scrierea compilatorului, demonstrarea automată a teoremelor și verificările formale.
