Czym jest plik ML?
Plik ML to plik tekstowy utworzony za pomocą funkcjonalnego języka programowania ogólnego przeznaczenia ML (często znanego jako Meta Language). Zawiera kod źródłowy ML, który jest częściej używany w badaniach i projektowaniu języków programowania przy użyciu całkowicie zdefiniowanej semantyki. Istnieje wiele odmian ML, z Caml jako powszechnie używaną. Inne obejmują Objective Caml (OCaml), JoCaml, Extended ML i MacroML. Język ML jest powszechnie używany do pisania kompilatorów, automatycznego dowodzenia twierdzeń i weryfikacji formalnych.
