Haskell
函數式編程語言 / 维基百科,自由的 encyclopedia
Haskell(发音为/ˈhæskəl/)[26]是一种标准化的,通用的纯函数式编程语言,有惰性求值和强静态类型[27]。它的命名源自美国逻辑学家哈斯凯尔·加里,他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中,“函数是头等对象”[28]。作为一门函数编程语言,主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的,并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母“λ”(Lambda)作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征[29][30][31][32]。
Quick Facts 编程范型, 设计者 ...
Close