ML语言 ML (programming language)

（重定向自Standard ML）

ML是一个通用的函数式编程语言，它是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。（之前的元语言是pplambda，它联合了一阶逻辑演算和有类型的多态的λ演算）。它使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。

ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数式编程语言——例如Haskell——很不一样。

单词	Standard ML
释义	Standard ML 中文百科 ML语言 ML (programming language) （重定向自Standard ML） ML是一个通用的函数式编程语言，它是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。（之前的元语言是pplambda，它联合了一阶逻辑演算和有类型的多态的λ演算）。它使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。 ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数式编程语言——例如Haskell——很不一样。英语百科 Standard ML Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
随便看	wood laurels的意思 Woodlawn的意思 Woodleaf的意思 wood leave的意思 Woodleigh的意思 Wood lemming的意思 wood lemmings的意思 Wood,Leonard的意思 wood leopard的意思 wood leopard moth的意思 woodless的意思 woodless的意思 woodlet的意思 woodlets的意思 wood letters的意思 Woodley的意思 woodleys的意思 Woodlice的意思 woodlices的意思 woodlief的意思 Wood light的意思 wood light examination的意思 Wood light examintion的意思 woodlike的意思 wood lilies的意思