Haskell

Haskell 是一种纯函数式编程语言，基于 lambda 演算与 Hindley-Milner 类型系统。主要用途包括学术研究、教学以及需要高可靠性和并发性的领域。其核心特点包括惰性求值、纯函数、强静态类型、类型类以及单子（Monad）。Haskell 由编程语言专家委员会于 1987 年设计，第一个版本于 1990 年发布；1999 年形成 Haskell 98 标准，2009 年更新为 Haskell 2010 标准。Glasgow Haskell Compiler（GHC）是其最广泛使用的实现。