7、探索函数式编程：从 Elixir 并发到 Haskell 数据思维

探索函数式编程：从 Elixir 并发到 Haskell 数据思维

1. 函数式编程基础回顾与 Elixir 并发引入

在函数式编程中，数据处理是核心。以 Luhn 算法为例，在处理列表时，我们可以通过模式匹配 [odd,even|tail] 提取列表的前两个元素，第一个元素绑定到 odd ，第二个绑定到 even ，列表的其余部分绑定到 tail 。在 Luhn 算法中，对于偶数位数字乘以 2 的结果，若小于 10 则直接累加到总和中，否则需从乘积中减去 9。

与 Java、C# 或 Ruby 等语言不同，函数式编程的代码更贴近问题的规范描述，无需使用 if 或循环等控制结构。这也是函数式编程的魅力所在，尤其是在 Elixir 中。而函数式编程的价值在并行处理中更为显著，接下来我们将深入探讨 Elixir 的并发编程。

2. 并发编程的 Actor 模型

2.1 Actor 模型简介

Actor 模型的并发概念由来已久，其本质是独立的、异步的参与者通过相互发送消息进行通信，且参与者之间没有共享状态。Carl Hewitt 在 20 世纪 70 年代中期提出将 Actor 作为计算模型，在他看来，Actor 是软件系统的基本构建块，类似于面向对象编程中的对象。

Actor 和对象有相似之处，都维护自己的独立状态并通过 API 封装。但也存在明显差异，对象是顺序交互的（不考虑线程），而 Actor 可以并行操作。此外，Actor 不必按消息到达的顺序处理消息，这种特性