ML ファイル

.ml は、パリの INRIA で開発された、オブジェクト指向および命令型の機能を備えた静的型付け関数型言語である OCaml プログラミング言語の標準的なソースファイル拡張子です。この拡張子は、OCaml の派生元である言語ファミリーである ML (Meta Language) に由来しています。

各 .ml ファイルは 1 つの OCaml モジュールを定義し、ファイル名の先頭を大文字にした名前が自動的にモジュール名になります（例: parser.ml は Parser モジュールになります）。対になる .mli インターフェースファイルは、モジュールが公開する内容を宣言し、C 言語のヘッダーファイルと同様の役割を果たします。

ソースファイルには、OCaml の宣言（let 束縛、type 定義、module やファンクタの定義、例外宣言、クラス定義など）のシーケンスが含まれます。慣習として、トップレベルの let () = ... 式がプログラムのエントリポイントとして機能します。

ファイルは ocamlc によってバイトコードに、または ocamlopt によってネイティブマシンコードにコンパイルされます。Dune ビルドシステムと opam パッケージマネージャーが標準的なプロジェクト管理ツールです。OCaml 5.x（2022年以降）ではエフェクトハンドラとマルチコア並列処理が導入され、古いコンパイラでは受け入れられない新しい構文が追加されました。

.ml 拡張子は Standard ML ファイルでも時折見られますが、そのコミュニティでは通常代わりに .sml が使用されます。主な用途は OCaml であり、2025年にはバージョン 5.3 に達しています。