ML語言
維基百科,自由的 encyclopedia
ML(Meta Language:元語言),是一個函數式、指令式的通用的編程語言,它著稱於使用了多態的Hindley–Milner類型推論[8]。ML能自動的指定多數表達式(英語:Expression (computer science))的類型,不要求顯式的類型標註,而且能夠確保類型安全,已經正式證明了有良好類型的ML程序不會導致運行時間類型錯誤[8]。
Quick Facts 編程範型, 設計者 ...
編程範型 | 多范型:函數式,指令式 |
---|---|
設計者 | 羅賓·米爾納及愛丁堡大學其他人 |
面市時間 | 1973年,51年前(1973) |
型態系統 | 類型推論,靜態類型,強類型 |
衍生副語言 | |
Standard ML, OCaml | |
啟發語言 | |
ISWIM[1],PAL[2],POP-2[1],GEDANKEN[1] | |
影響語言 | |
Clojure、Coq、Cyclone(英語:Cyclone (programming language))、C++、Elm[3]、Futhark[4]、F#、F*、Haskell、Idris、Lazy ML[5]、Miranda、Nemerle[6]、OCaml、Opa(英語:Opa (programming language))、Rust、Scala、Standard ML、Ur[7] | |
Close
ML提供了對函數實際參數的模式匹配、垃圾回收、指令式編程、傳值調用和柯里化。它被大量的用於編程語言研究之中,並且是全面規定了的和使用形式語義驗證了的少數語言之一。它的類型和模式匹配使得它非常適合併且經常用於在其他形式語言上進行操作,比如在編譯器構造、自動化定理證明和形式驗證中。