PureScript是一种强类型、纯函数式编程、最终编译为JavaScript的编程语言。PureScript可以开发网络应用程序、服务端应用程序，也可以借助Electron开发桌面应用程序。其语法大多与Haskell相当。此外，它还引入了行多态性和可扩展记录。
不过，与Haskell相反的是，PureScript坚持严格求值策略。
存储传递风格是一种技术，用来建模不可变对象状态而不用使用全局变量。它通常出现在将指令式编程转换成纯函数式编程程序的场合。
Clean，在开发期间称为Concurrent Clean，是纯函数式编程程序设计语言。Clean由荷兰的奈梅亨拉德伯德大学自1987年开始制作和维护。
KRC是一种惰性求值的纯函数式编程编程语言，由David Turner在1979年11月至1981年10月期间开发，基于了SASL，具有模式匹配、卫语句和列表推导式。KRC有两种主要实现：David Turner的最初实现用BCPL写成并运行于EMAS，Simon J. Croft的后来实现用C语言写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。
存储传递风格是一种技术，用来建模不可变对象状态而不用使用全局变量。它通常出现在将指令式编程转换成纯函数式编程程序的场合。
SASL，是纯函数式编程语言，在1972年由David Turner于圣安德鲁斯大学，基于ISWIM的应用式子集而开发。在1976年，Turner重新设计并重新实现它为非严格语言。它以这种形式成为了Turner以后的语言肯特递归计算器和Miranda的基础，但是SASL表现为无类型的，而Miranda有多态类型。
SAC是一门严格的纯函数式编程语言，以满足数值计算领域的需求为主要目的。怎样实现对多维数组的高效计算是SAC的核心部分。效率在程序设计领域可以有两方面的理解。一方面是提供高级的数组运算操作，以加快开发程序，另一方面是在某种模式下优化编译程序，以减少其所需的运行时间和存储容量。作为一门成功的计算机语言，必须满足第二个条件。
NPL，是具有模式匹配和集合推导式的简单的纯函数式编程编程语言，在1973年至1975年，由爱丁堡大学的Rod Burstall和John Darlington，在关于程序变换的工作中设计，并于1977年用POP-2实现。
Miranda，是一种惰性求值的纯函数式编程编程语言，由英国学者大卫·特纳所设计。采用来自ML语言与Hope语言的概念，他用此来作为他先前所设计的SASL与肯特递归计算器语言的后继者。这个程式语言由英国的研究软件公司出品，这间公司拥有这个程式语言的商标权。
Joy编程语言是澳大利亚乐卓博大学Manfred von Thun创立的纯函数式编程语言。Joy基于了函数复合而非Lambda表达式。它表现出同30年前出现的Forth语言的很多类似性，这不归结为设计原因而是某种平行的演化和趋同。它还受到John Backus的FP的函数级编程的影响。
Mini wiki
