Haskell Mac版是Mac平台上的一款软件开发工具
2017.04.01
2017.01.05
2018.06.07
2017.01.05
2019.04.11
2017.01.05
Haskell Mac版是Mac平台上的一款软件开发工具。Haskell是一种标准化的、通用纯函数式编程语言,有非限定性语义和强静态类型。Haskell Mac版可以帮助用户学习Haskell。
软件特色
Haskell的命名源自美国逻辑学家Haskell Brooks Curry,他在数学逻辑方面的工作使得函数式编程语言有了广泛的基础。在Haskell中,函数是一等公民。作为函数式编程语言,主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的,并且以λ演算(Lambda-Calculus)为基础发展而来。具有“证明即程序、结论公式即程序类型”的特征。这也是Haskell语言以希腊字母「λ」(Lambda)作为自己标志的原因。Haskell语言的最主要的执行环境是GHC。
Haskell支持惰性求值、模式匹配、列表内包、类型类和类型多态。它是一门纯函数式语言,这意味着大体上,Haskell中的函数没有副作用。存在一个明确的类型表达副作用,与函数类型正交。一个纯函数可以返回后续执行的副作用、模块化其它语言的非纯函数。