.ML ファイルとは何ですか?
ML ファイルは、汎用関数型プログラミング言語 ML (Meta Language とも呼ばれます) で作成されたテキスト ファイルです。これには、完全に定義されたセマンティクスを使用したプログラミング言語の研究と設計でより頻繁に使用される ML ソース コードが含まれています。 ML には複数のバリエーションがあり、広く使用されているのは Caml です。その他には、Objective Caml (OCaml)、JoCaml、Extended ML、MacroML などがあります。 ML 言語は、コンパイラの記述、自動化された定理の証明、および正式な検証に一般的に使用されます。
