Kas yra ML failas?
ML failas yra tekstinis failas, sukurtas naudojant bendrosios paskirties funkcinę programavimo kalbą ML (dažnai žinoma kaip meta kalba). Jame yra ML šaltinio kodas, kuris dažniau naudojamas programavimo kalbos tyrimuose ir projektuojant, naudojant visiškai apibrėžtą semantiką. Yra keletas ML variantų, kuriuose plačiai naudojamas Caml. Kiti apima Objective Caml (OCaml), JoCaml, Extended ML ir MacroML. ML kalba dažniausiai naudojama kompiliatoriaus rašymui, automatiniam teoremų įrodinėjimui ir formaliam patikrinimui.
