ML語言

ML （ Meta Language ： 元語言 ） ， 是一個函數式 、 指令式的通用的編程語言 ， 它著稱於使用了多態的Hindley – Milner類型推論 。 ML能自動的指定多數的類型 ， 不要求顯式的類型標註 ， 而且能夠確保類型安全 ， 已經正式證明了有良好類型的ML程序不會導致運行時間類型錯誤 。 ML提供了對函數實際參數的模式匹配 、 垃圾回收 、 指令式編程 、 傳值調用和柯里化 。 它被大量的用於編程語言研究之中 ， 並且是全面規定了的和使用形式語義驗證了的少數語言之一 。 它的類型和模式匹配使得它非常適合並且經常用於在其他形式語言上進行操作 ， 比如在編譯器構造 、 自動化定理證明和形式驗證中 。