Haskell
Haskell（）是一种标准化的，通用的纯函數式編程語言，有惰性求值和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是頭等物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda语言的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标…
标签：#1990年建立的程式語言
共 2 篇文章
Standard ML
Standard ML（SML），是一个函数式、指令式、模块化。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。 Standard ML是ML的现代方言，ML是用于（可计算函数逻辑）定理证明计划的编程语言。Standard ML在广泛使用的语言之中与众不同，源于它具有正式规定《The Definition of Standard ML》 ，给出了语言的和操作语义。 实现 存在很多SML实现，包括： 标准： Standard …