TL;DR
ML の方言の 1 つで、静的型付けの関数型プログラミング言語。Standard ML に強く影響を受けている。
なぜ必要か
静的な型検査によって、実行時エラーを減らし、性能を高められる。型推論があるので、関数の引数や戻り値、変数のすべてに型を書く必要はない。
仕組み
1996 年に、フランスの INRIA で Xavier Leroy らが開発した。モジュールシステムは Standard ML に影響を受けている。関数型のほか、オブジェクト指向のスタイルでも書ける。
メモリは世代別のガベージコレクションで自動的に管理される。コンパイラは 2 種類あり、小さく移植しやすい実行ファイルを作るバイトコードコンパイラと、効率の良い機械語を生成するネイティブコードコンパイラがある。