Haskell 是什么

Haskell是一种标准化的，通用的纯函数编程语言，有非限定性语义和强静态类型。Haskell语言的最重要的两个应用是GHC和Hugs。

Haskell 是一种标准化的，通用的纯函数编程语言，有非限定性语义和强静态类型。Haskell 语言的最重要的两个应用是 GHC（Glasgow Haskell Compiler）和 Hugs（一个 Haskell 语言的解释器）。

Haskell 的命名源自美国逻辑学家哈斯凯尔·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在 Haskell 中，“函数是第一类对象”。作为一门函数编程语言，主要控制结构是函数。

Haskell 语言是 1990 年在编程语言 Miranda 的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么 Haskell 语言以希腊字母“λ”（Lambda）作为自己的标志。Haskell 具有“证明即程序、命题为类型”的特征。

Haskell 特性

Haskell 是现有的一门开放的、已发布标准的，且有多种实现的语言。支持惰性求值、模式匹配、列表解析、类型类和类型多态。它是一门纯函数编程语言，这意味着大体上，Haskell 中的函数没有副作用。Haskell 用特定的类型来表达副作用，该类型与函数类型相互独立。纯函数可以操作并返回可执行的副作用的类型，但不能够执行它们，只有用于表达副作用的类型才能执行这些副作用，Haskell 以此表达其它语言中的非纯函数。

Haskell 拥有一个基于 Hindley-Milner 类型推论的静态、强类型系统。Haskell 在此领域的主要创新就是加入了类型类（type class），原本设想作为重载的主要方式，在之后发现了更多用途。

Haskell 的主要实现 GHC 是个解释器，也是个原生代码编译器。它可以在大多数平台运行，GHC 在并发和并行上具有高性能的实现能力，也有丰富的类型系统，如广义代数数据类型和类型族（Type Families）。

单子是一个抽象类型，可以表达不同种类的计算，包括异常处理、非确定性、语法分析以及软件事务内存，其中一个应用是用于表达副作用的类型。单子定义为普通的数据类型，同时 Haskell 也为其提供了几种语法糖。

Haskell 有一个活跃的社区，在线上包仓库 Hackage 上有丰富的第三方开源库或工具。