Haskell Haskell发音为ˈhæskəl是一种标准化的通用的纯函數式編程語言有惰性求值和强静态类型它的命名源自美国逻辑学家哈斯凱爾加里他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础在Haskell中函数是頭等物件作为一门函數程式語言主要控制结构是函数Haskell语言是年在编程语言Miranda语言的基础上标准化的并且以λ演算为基础发展而来这也是为什么Haskell语言以希腊字母λLambda作为自己的标志Haskell具有证明即程序命题为类型的特征