ML语言 编辑
ML，是一个函数式编程语言、指令式编程语言的通用编程语言的编程语言，它著称于使用了多态的类型推论。ML能自动的指定多数表达式的数据类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。
3
相关
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
F#是由微软发展的为.NET语言提供运行环境的程序设计语言，是函数程式语言，函数程式语言最重要的基础是Λ演算。它是基于OCaml的，而OCaml是基于ML语言函数程式语言。有时F#和OCaml的程式是可以交互编译的。
OCaml，是一个函数式编程、指令式编程、模块化编程、面向对象程序设计的通用编程语言的编程语言。在Xavier Leroy和Damien Doligez，于1990年和1991年实现的ML语言方言Caml之上，Didier Rémy和Jérôme Vouillon，于1996年增加了面向对象编程特征，从而形成了“Objective Caml”，在2011年时重命名为“OCaml”。
Hope是一种小型纯函数式编程编程语言，由Rod Burstall、David MacQueen和Don Sannella，在1970年代于爱丁堡大学于开发。Hope派生自NPL语言，是Miranda和Haskell的先驱，并与在同一所大学开发的ML语言同时代。NPL和Hope著称于，是具有传模式调用的求值策略和代数数据类型的最初的语言。
Miranda，是一种惰性求值的纯函数式编程编程语言，由英国学者大卫·特纳所设计。采用来自ML语言与Hope语言的概念，他用此来作为他先前所设计的SASL与肯特递归计算器语言的后继者。这个程式语言由英国的研究软件公司出品，这间公司拥有这个程式语言的商标权。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。