纯函数语言？

Question

什么是纯函数式语言？什么是纯函数式数据结构？我知道什么是函数式语言，但我不知道“纯”是什么意思。有人知道吗？有人能给我解释一下吗？谢谢！

Answer 1

现在使用的大多数函数式语言都不是纯粹的，因为它们提供了与现实世界交互的方式。例如，很久以前，Haskell有几个纯变种。

纯功能数据=持久数据（即不可变）

纯功能=给定相同的输入总是产生相同的输出，不包含或受副作用的影响。

Answer 2

当函数式程序员提到纯函数的概念时，他们指的是引用透明的概念。

参考透明实际上是关于价值替代，而不改变程序的行为。

考虑一些将数字加上2的函数：

let add2 x = x + 2

程序中对add2的任何调用都可以用值4代替，而不会改变任何行为。

现在考虑把<代码>打印<代码>混合到一起：

let add2 x =
    print x 
    x + 2

此函数仍然返回与前一个函数相同的结果，但我们不能再在不改变程序行为的情况下进行值替换，因为add2 2具有将2打印到屏幕上的副作用。

因此，它在引用上不透明，因此是一个不纯的函数。

现在我们对纯函数有了一个很好的定义，我们可以将纯函数语言定义为一种我们几乎只处理纯函数的语言。

注意：仍然可以用纯功能性语言执行效果（例如打印到控制台），但这是通过将效果视为表示要执行的操作的值来实现的，而不是将其视为某些功能中的副作用。然后，这些效应值被组合成一组更大的程序行为。

然后，纯函数数据结构就是一种设计用于纯函数语言的数据结构。

因为用函数改变数据结构会破坏这种引用透明性，所以每次添加或删除元素时，我们都需要返回一个新的数据结构。

有一些特定类型的数据结构，我们可以有效地做到这一点，从以前的副本中共享大量内存：单链表和各种基于树的结构是最常见的例子，但还有很多其他的例子。