Haskell 语言入门

StackOverflow 文档

Haskell 是一种先进的纯函数式编程语言。

特征:

  • 静态类型化: Haskell 中的每个表达式都有一个在编译时确定的类型。静态类型检查是基于对程序文本(源代码)的分析来验证程序的类型安全性的过程。如果程序通过静态类型检查程序,则程序保证满足所有可能输入的某些类型安全属性。
  • 纯粹的功能 :Haskell 中的每个函数都是数学意义上的函数。没有语句或指令,只有表达式不能改变变量(本地或全局),也不能访问状态,如时间或随机数。
  • Concurrent: 它的标志舰编译器 GHC 带有一个高性能并行垃圾收集器和轻量级并发库,包含许多有用的并发原语和抽象。
  • 延迟评估: 函数不评估其参数。延迟表达式的求值直到需要它的值。
  • 通用: Haskell 可用于所有环境和环境。
  • 软件包: Haskell 的开源贡献非常活跃,公共软件包服务器上提供了大量软件包。

Haskell 的最新标准是 Haskell 2010.截至 2016 年 5 月,一个小组正在研究下一个版本 Haskell 2020。

官员哈斯克尔文档也进行了全面和有用的资源。寻找书籍,课程,教程,手册,指南等的好地方。