Haskell是一种通用的，纯函数式编程语言，
其中包含了很多编程语言研究领域中的新概念。
Haskell提供了高阶函数，非严格语义（non-strict semantics），静态多态类型，
用户自定义的代数数据类型，模式匹配，列表解析（list comprehension），
模块系统，monadic IO系统。
Haskell包含了丰富的原始数据类型，
包括列表，数组，任意精度的整数，以及浮点数。
Haskell是非严格（non-strict）函数式语言领域，多年研究的结晶。
1987年9月在美国俄勒冈州的波特兰，
举行了一次关于函数式编程语言和计算机体系结构的会议，FPCA'87。
会议看到了函数式编程社区的现状，
社区中已经出现了十几个非严格的（non-strict）语义的纯函数式编程语言，
它们全都表现力丰富，而且建立在语义学基础之上。
人们看到，没有一门公共语言妨碍了这些语言的广泛使用。
于是，会议达成共识，决定设计一门新的语言，用来更快的交流新想法，
这样可以保证基础更加牢固，也可以推动实际生产环境中的使用。
对于那些想学习函数式语言的人们，也方便了许多。
这门语言就是Haskell，以逻辑学家Haskell B. Curry命名。
Haskell的设计初衷是满足以下几个约束条件：
（1）它必须便于教学，科研和使用，可以用于构建大型系统。
（2）它必须完全用形式化的方法来表示语法和语义。
（3）它必须是免费的。任何人可以实现它，传播它。
（4）它必须建立在共识的基础之上。
（5）它必须消除众多函数式语言中不必要的多样性。
和其他的语言一样，Haskell一直在演化。
到1997年年中，就已经更新了5个版本，Haskell 1.0-1.4。
在阿姆斯特丹的Haskell工作室（workshop），决定发布一个稳定的版本。
于是，1999年2月制订了名为“Haskell 98”的规范。
修复了少量Bug的“Revised Haskell 98”的规范于2002年发布。
2005年，Haskell出现了很多扩展，且以不同的形式实现了。
在社区力量的推动下，人们确定了一个规范制订的流程Haskell Prime，
力求把那些熟知的，广泛使用的特性加入到Haskell 98中，
目的是保持语言的稳定性，同时也能反映最新的研究成果。
对语言本身进行一次大量的改动是个艰巨的任务，
最好能够以小步快跑的方式来推动语言的演化，
每次修订最好只包括少量的一些特性，
目前Haskell 2010是第一个修订版。
Haskell 2010 committee已经解散了，
最近成立的委员会是Haskell Prime 2020 committee，
目标是产出Haskell 2020语言规范。
参考：
haskell2010
Language and library specification
Haskell Prime
网友评论