ML语言 MLMeta Language元语言是一个函数式指令式的通用的编程语言它著称于使用了多态的HindleyMilner类型推论ML能自动的指定多数表达式英语Expression computer science的类型不要求显式的类型标注而且能够确保类型安全已经正式证明了有良好类型的ML程序不会导致运行时间类型错误 ML提供了对函数实际参数的模式匹配垃圾回收指令式编程传值调用和柯里化它被大量的用于编程语言研究之中并且是全面规定了的和使用形式语义验证了的少数语言之一它的类型和模式匹配使得它非常适合并且经常用于在其他形式语言上进行操作比如在编译器构造自动化定理证明和形式验证中