Plik ML

.ml to standardowe rozszerzenie pliku źródłowego dla języka programowania OCaml, statycznie typowanego języka funkcyjnego z funkcjami obiektowymi i imperatywnymi, opracowanego w INRIA w Paryżu. Rozszerzenie pochodzi od ML (Meta Language), rodziny języków, z której wywodzi się OCaml.

Każdy plik .ml definiuje jeden moduł OCaml, automatycznie nazywany tak samo jak plik, z pierwszą literą wielką - parser.ml staje się modułem Parser. Towarzyszący mu plik interfejsu .mli deklaruje, co moduł udostępnia publicznie, działając podobnie do pliku nagłówkowego C.

Pliki źródłowe zawierają sekwencje deklaracji OCaml: wiązania let, definicje type, definicje module i funktorów, deklaracje wyjątków oraz definicje klas. Wyrażenie let () = ... na najwyższym poziomie służy zgodnie z konwencją jako punkt wejścia programu.

Pliki są kompilowane przez ocamlc do kodu bajtowego lub przez ocamlopt do natywnego kodu maszynowego. System budowania Dune i menedżer pakietów opam są standardowymi narzędziami do zarządzania projektami. OCaml 5.x (od 2022 r.) wprowadził mechanizmy obsługi efektów (effect handlers) i wielordzeniową równoległość, dodając nową składnię nieakceptowaną przez starsze kompilatory.

Rozszerzenie .ml jest również sporadycznie spotykane w plikach Standard ML, choć ta społeczność zazwyczaj używa zamiast tego .sml. Dominującym zastosowaniem jest OCaml, który w 2025 roku osiągnął wersję 5.3.