Haskell

纯函数式编程语言

条目

历史版本

Haskell（发音为/ˈhæskəl/）是一种标准化的，通用的纯函数编程语言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家哈斯凯尔·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是第一类对象”。作为一门函数编程语言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母“λ”（Lambda）作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征。

发展

1985年，Miranda发行后，惰性函数式语言的关注度增长。到1987年前，出现了十多种非限定性、纯函数式语言。其中，Miranda使用得最为广泛，但还没有在公共领域出现。在美国波特兰州俄勒冈的函数式编程语言与计算机结构大会（FPCA '87）上，与会者一致同意组成一个委员会，为这样的语言定义一种开放性标准。该委员会旨在整合已有的函数式语言，为将来的函数式语言设计研究工作奠定基础。

Haskell 1.0到1.4

1990年定义了Haskell的第一个版本（“Haskell 1.0”）。委员会形成了一系列的语言定义（1.0，1.1，1.2，1.3，1.4）。