5、函数式编程中的数据处理：从理论到实践

函数式编程中的数据处理：从理论到实践

1. 不可变性驱动一切

在函数式编程中，处理数据的方式与其他编程范式有所不同。函数式编程强调相同的输入会产生相同的输出，并且在 Elixir 中，变量一旦绑定就不会改变。

1.1 Elixir 变量的不可变性

虽然在 Elixir 中看起来变量可以重新赋值，例如：

iex> x = 10
10
iex> x
10
iex> x = 11
11
iex> x
11

但实际上，这里的 10 和 11 是不可变的值， x 只是一个可以在函数作用域内重新绑定的变量。看下面这个例子：

iex> x = 10
10
iex> f = fn() -> x end
#Function<20.99386804/0 in :erl_eval.expr/5>
iex> x = 11
11
iex> x
11
iex> f.()
10

每个函数都有自己的绑定，并且不会被其他函数或进程改变。一旦变量被绑定，其底层表示就固定了。

1.2 不可变性对数据处理的影响

由于数据的不可变性，在函数式编程中，当需要修改数据时，不是直接更新原数据，而是创建一个新的数据副本。这一规则适用于简单类型（如整数）和复杂类型（如结构体或映射）。

2. 新事实不使旧事实失效