Was ist eine ML-Datei?
Eine ML-Datei ist eine Textdatei, die mit der universellen funktionalen Programmiersprache ML (häufig als Metasprache bekannt) erstellt wurde. Es enthält ML-Quellcode, der häufiger in der Erforschung und Entwicklung von Programmiersprachen mit vollständig definierter Semantik verwendet wird. Es gibt mehrere Variationen von ML, wobei Caml die am weitesten verbreitete ist. Andere sind Objective Caml (OCaml), JoCaml, Extended ML und MacroML. Die ML-Sprache wird häufig zum Schreiben von Compilern, zum automatisierten Beweisen von Theoremen und für formale Verifizierungen verwendet.