File ML

.ml è l'estensione standard dei file sorgente per il linguaggio di programmazione OCaml, un linguaggio funzionale a tipizzazione statica con caratteristiche orientate agli oggetti e imperative sviluppato presso l'INRIA di Parigi. L'estensione deriva da ML (Meta Language), la famiglia di linguaggi da cui discende OCaml.

Ogni file .ml definisce un modulo OCaml, nominato automaticamente come il file con la prima lettera maiuscola - parser.ml diventa il modulo Parser. Il file di interfaccia compagno .mli dichiara ciò che il modulo espone pubblicamente, agendo in modo simile a un file header C.

I file sorgente contengono sequenze di dichiarazioni OCaml: binding let, definizioni di type, definizioni di module e funtori, dichiarazioni di eccezioni e definizioni di classi. Per convenzione, un'espressione let () = ... al livello superiore funge da punto di ingresso del programma.

I file vengono compilati da ocamlc in bytecode o da ocamlopt in codice macchina nativo. Il sistema di build Dune e il gestore di pacchetti opam sono gli strumenti standard per la gestione dei progetti. OCaml 5.x (dal 2022 in poi) ha introdotto gli effect handler e il parallelismo multicore, aggiungendo una nuova sintassi non accettata dai compilatori più vecchi.

L'estensione .ml si vede occasionalmente anche per i file Standard ML, sebbene quella comunità utilizzi tipicamente .sml. L'uso dominante è OCaml, che ha raggiunto la versione 5.3 nel 2025.