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提供了对函数实际参数的模式匹配、垃圾回收、指令式编程、传值调用和柯里化。它被大量的用于编程语言研究之中,并且是全面规定了的和使用形式语义验证了的少数语言之一。它的类型和模式匹配使得它非常适合并且经常用于在其他形式语言上进行操作,比如在编译器构造、自动化定理证明和形式验证中。