Haskell历史

Haskell是一门高级纯函数式编程(Functional Programming)语言。

曾几何时,普林斯顿大学有一位名叫阿隆佐教堂的数学家。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编译器,它有一个解释器(ghci)和一个编译器(ghc)。这些构成了Haskell平台不可或缺的一部分。很多人为这个软件生态系统做出了贡献。他们中的许多人曾在格拉斯哥大学工作,如Simon Marlow, Simon Peyton Jones和Phil Wadler。

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