Mi az ML fájl?
Az ML fájl egy szöveges fájl, amelyet az ML általános célú funkcionális programozási nyelvvel (gyakran Meta nyelvként ismernek) hoztak létre. ML forráskódot tartalmaz, amelyet gyakrabban használnak a programozási nyelv kutatásában és tervezésében, teljesen meghatározott szemantikával. Az ML-nek számos változata létezik, és a Caml a széles körben használt változata. Mások közé tartozik az Objective Caml (OCaml), a JoCaml, az Extended ML és a MacroML. Az ML nyelvet gyakran használják fordítóírásra, automatizált tételbizonyításra és formális ellenőrzésekre.