Haskell 是什么

Fanly问答2019-08-02 15:15:48阅读(...)

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

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

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 上有丰富的第三方开源库或工具。

收藏0个人收藏
走进科技生活方式

评论交流

泪雪默认头像请「登录」后参与评论
  1. 加载中..