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