Wat is een ML-bestand?
Een ML-bestand is een tekstbestand dat is gemaakt met de functionele programmeertaal ML voor algemene doeleinden (vaak bekend als Meta Language). Het bevat ML-broncode die vaker wordt gebruikt bij onderzoek naar en ontwerp van programmeertalen met behulp van volledig gedefinieerde semantiek. Er zijn meerdere varianten van ML met Caml als de meest gebruikte variant. Andere zijn Objective Caml (OCaml), JoCaml, Extended ML en MacroML. ML-taal wordt vaak gebruikt voor het schrijven van compilers, het automatisch bewijzen van stellingen en formele verificaties.
