Haskell语言的简史

 

曾几何时，普林斯顿大学有一位名叫阿隆佐丘吉（Church）的数学家。Church是Alan Turing的博士生导师。Church设计了一种称为lambda演算的函数的数学模型，该模型这就是现代lambdas的来源！

从20世纪30年代的教会快速发展到20世纪50年代的编程语言的早期发展。最早的高级编程语言之一是LISP（代表List Processing）。LISP采用了功能性风格。它允许定义用户函数，并作为值传递。时过境迁，LISP却依然存在...最近的化身包括Scheme和Clojure。

在20世纪80年代，许多研究人员正在发明和扩展各种函数式编程语言。比如：ML，Hope和Miranda。然而，这些语言的研究都是相对独立分散的，其中许多都没有“开源”。因此，一组学者组成了一个委员会来设计和实施一种新语言，该语言将用作研究和教授函数式编程的工具。

经过几年的工作和争论，委员会于1990年发布了第一份Haskell语言报告。这是一个重要的里程碑：终于有一种共同的函数式编程语言，研究界可以围绕这种语言规范进行联合应用和完善。

尽管有一种公认的目标是“不惜一切代价避免成功”，但这种语言还是未能遵循这个目标，却从此开始流行起来。人们逐渐提供多个免费的实现，最常用的是Glasgow Haskell编译器。 Glasgow Haskell它有一个解释器（ghci）和一个编译器（ghc），这些构成了Haskell平台不可或缺的一部分。很多人为这个软件生态系统做出了贡献。他们中的许多人曾在格拉斯哥大学工作，如Simon Marlow， Simon Peyton Jones和Phil Wadler。

Haskell现在广泛用于教学、研究和工业。例如，它在几所苏格兰大学用于教学，包括格拉斯哥，爱丁堡和圣安德鲁斯。它有自己的年度研究会议-- ACM Haskell研讨会。并且有许多工业用户，包括Facebook。