Mikä on ML-tiedosto?
ML-tiedosto on tekstitiedosto, joka on luotu yleiskäyttöisellä toiminnallisella ohjelmointikielellä ML (tunnetaan usein nimellä Meta Language). Se sisältää ML-lähdekoodia, jota käytetään useammin ohjelmointikielen tutkimuksessa ja suunnittelussa täysin määriteltyä semantiikkaa käyttäen. ML:stä on useita muunnelmia, joissa Caml on laajalti käytetty. Muita ovat Objective Caml (OCaml), JoCaml, Extended ML ja MacroML. ML-kieltä käytetään yleisesti kääntäjien kirjoittamiseen, automaattiseen lauseiden todistamiseen ja muodollisiin todentamiseen.
