ML 파일은 범용 함수형 프로그래밍 언어 ML(종종 메타 언어라고도 함)으로 만든 텍스트 파일입니다. 여기에는 완전히 정의된 의미 체계를 사용하여 프로그래밍 언어 연구 및 디자인에 더 자주 사용되는 ML 소스 코드가 포함되어 있습니다. Caml이 널리 사용되는 ML에는 여러 변형이 있습니다. 다른 예로는 OCaml(Objective Caml), JoCaml, Extended ML 및 MacroML이 있습니다. ML 언어는 일반적으로 컴파일러 작성, 자동화된 정리 증명 및 형식 검증에 사용됩니다.
