Haskell 编辑
Haskell是一种标准化的，通用的纯函数式编程语言，有惰性求值和强类型系统类型。它的命名源自美国逻辑学家哈斯凯尔·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是头等物件”。作为一门函数程式语言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以Λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母“λ”作为自己的标志。Haskell具有“柯里-霍华德同构”的特征。
3
相关
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
PureScript是一种强类型、纯函数式编程、最终编译为JavaScript的编程语言。PureScript可以开发网络应用程序、服务端应用程序，也可以借助Electron开发桌面应用程序。其语法大多与Haskell相当。此外，它还引入了行多态性和可扩展记录。
不过，与Haskell相反的是，PureScript坚持严格求值策略。
CoffeeScript是一套JavaScript的转译语言。受到Ruby、Python与Haskell等语言的启发，CoffeeScript增强了JavaScript的简洁性与可读性。此外，CoffeeScript也新增了更复杂的功能，例如列表推导式、并行赋值等。一般来说，CoffeeScript可以在不影响执行效能的情况下，缩短约三分之一的程式码长度。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。
House是一个以 Haskell 语言编写的实验性的开放源代码操作系统。其目的是使用函数式编程编写操作系统。 
Curry，是一种实验式的函数程式语言程式语言，基于Haskell而实作，混合了函数程式语言与逻辑编程，也加入约束编程的特性。它的名称取自数学家哈斯凯尔·加里，在许多层面，它可以被视为是Haskell的超集合。
Hope是一种小型纯函数式编程编程语言，由Rod Burstall、David MacQueen和Don Sannella，在1970年代于爱丁堡大学于开发。Hope派生自NPL语言，是Miranda和Haskell的先驱，并与在同一所大学开发的ML语言同时代。NPL和Hope著称于，是具有传模式调用的求值策略和代数数据类型的最初的语言。