ML fájl formátum - ML forráskód fájl
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.