Elixir 编程

📚 内容概要

一本全面介绍使用 Elixir 进行函数式与并发编程的指南。内容涵盖从面向对象思维转向函数式思维、模式匹配、不可变性、基于角色模型的并发机制，以及利用 OTP 构建健壮的分布式系统。

通过函数式编程的美妙，掌握构建弹性并发系统的艺术。

作者： 戴夫·托马斯（Dave Thomas）

致谢： 何塞·瓦利姆（José Valim）、科里·海恩斯（Corey Haines）、布鲁斯·泰特（Bruce Tate）、杰西卡·克尔（Jessica Kerr）、安德鲁·艾登（Anthony Eden）、查德·福勒（Chad Fowler）、金·沙里尔（Kim Shrier）、坎达斯·坎宁安（Candace Cunningham）及波托马克索引（Potomac Indexing）。

🎯 学习目标

1. 对比 Elixir 的数据转换模型与传统的基于状态的编程方式。
2. 配置交互式 Elixir shell（IEx），并通过脚本和编译执行 Elixir 代码。
3. 使用匹配操作符（=）、钉操作符（^）和通配符（_）进行数据解构与验证。
4. 解释不可变性在性能与内存管理方面的理论与实际影响。
5. 识别并使用 Elixir 内置类型，包括值类型、系统类型和集合类型。
6. 应用变量作用域规则与 with 表达式来管理复杂的数据转换。
7. 使用标准语法和捕获语法（&）创建并调用匿名函数。
8. 在模块中使用模式匹配与递归实现命名函数，以处理复杂逻辑。
9. 使用保护条件和默认参数控制函数执行流程。
10. 解构与构建列表： 利用头/尾模式匹配遍历和构建递归列表结构。

🔹 第 1 课：Elixir 与模式匹配入门

概述： 本课介绍 Elixir 作为一种以数据转换为核心而非状态修改的函数式语言。学生将学习如何导航 Elixir 环境（IEx），编译与运行脚本，并掌握模式匹配——Elixir 用于变量绑定与控制流的基本机制。

学习成果：

• 对比 Elixir 的数据转换模型与传统的基于状态的编程方式。
• 配置交互式 Elixir shell（IEx），并通过脚本和编译执行 Elixir 代码。
• 使用匹配操作符（=）、钉操作符（^）和通配符（_）进行数据解构与验证。

🔹 第 2 课：不可变性与 Elixir 基础

概述： 本课探讨 Elixir 的核心哲学——不可变性。学生将学习 Elixir 如何将数据视为不可更改的实体，这种做法带来的性能优势，以及各种内置类型——从原子、范围等简单值类型，到映射（map）和二进制（binary）等复杂集合。课程最后深入讲解变量作用域与强大的 with 表达式。

学习成果：

• 解释不可变性在性能与内存管理方面的理论与实际影响。
• 识别并使用 Elixir 的内置类型，包括值类型、系统类型和集合类型。
• 应用变量作用域规则与 with 表达式来管理复杂的数据转换。

🔹 第 3 课：函数、模块与管道操作符

概述： 本课探讨 Elixir 编程的核心——函数式转换。内容涵盖从匿名函数与闭包过渡到结构化模块与命名函数。学生将学习如何利用模式匹配、递归与管道操作符（|>）编写简洁、易读且可维护的代码，同时与底层 Erlang VM 进行交互。

学习成果：

• 使用标准语法与捕获语法（&）创建并调用匿名函数。
• 在模块中使用模式匹配与递归实现命名函数，以处理复杂逻辑。
• 使用保护条件与默认参数控制函数执行流程。

🔹 第 4 课：递归列表与数据结构

概述： 本课通过递归讲解 Elixir 列表的基础机制，重点聚焦“头与尾”模式，用于处理与构建数据。随后进入复杂数据结构——映射（Maps）、结构体（Structs）与关键词列表（Keyword Lists），提供选择合适结构的决策框架，并介绍使用 Access 模块与 Elixir 类型系统理论对嵌套数据进行高级操作的技术。

学习成果：

• 解构与构建列表： 使用头/尾模式匹配遍历与构建递归列表结构。
• 实现高阶模式： 创建自定义的 map 与 reduce 函数，用于转换或聚合列表数据。
• 选择合适的数据结构： 根据性能、顺序性与数据完整性需求，区分映射（Maps）、结构体（Structs）与关键词列表（Keyword Lists）。

🔹 第 5 课：可枚举项、流与字符串处理

概述： 本课探讨 Elixir 中处理集合的双重方法：贪婪的 Enum 模块与惰性、可组合的 Stream 模块。同时深入讲解通过列表推导式进行数据转换，以及 Elixir 字符串的内部机制，明确区分字符列表（单引号）与二进制（双引号）。学生将学习如何处理复杂数据结构、应对无限数据，并执行低层级的位提取操作。

学习成果：

• 区分处理集合时的贪婪求值与惰性求值。
• 使用带有多个生成器与过滤器的列表推导式转换数据，并提取位级信息。
• 区分单引号字符串（字符列表）与双引号字符串（二进制），并正确应用对应的模块（List vs String）进行操作。

🔹 第 6 课：控制流、Mix 项目与专业工具

概述： 本课引导开发者从编写孤立的 Elixir 函数过渡到构建、测试与监控专业级应用程序。内容涵盖高级控制结构（case、cond），Mix 项目的生命周期（从目录结构到 CLI 可执行文件），以及用于调试、基于属性的测试与服务器监控的一整套专业工具。

学习成果：

• 使用 case、cond 和异常处理实现复杂的分支逻辑。
• 使用 Mix 组织 Elixir 项目，管理外部依赖如 HTTPoison 与 Poison，并配置应用环境。
• 利用 ExUnit、DocTest 与 StreamData 实现基于属性的测试，构建稳健的测试套件。

🔹 第 7 课：并发与分布式节点

概述： 本课探讨从单进程 Elixir 应用向分布式系统演进的过程。内容涵盖消息处理机制、通过尾递归循环实现进程持久化，以及通过链接与监视机制对进程生命周期进行稳健管理。最后介绍 Erlang VM 的分布式模型，教授如何连接节点、使用密钥（cookie）进行安全防护，以及在网络中处理 I/O 操作。

学习成果：

• 使用尾递归与消息超时实现有状态、持久化的进程。
• 通过链接（spawn_link）与监视（spawn_monitor）构建容错的进程树。
• 使用命名约定、安全密钥与全局进程注册配置并连接分布式节点。

🔹 第 8 课：OTP 基础：服务器与监督者

概述： 本课介绍 Elixir 生态中的开放电信平台（OTP）框架，重点关注 GenServer 行为与监督者（Supervisor）模式。学生将学习如何构建健壮的有状态服务器进程，区分同步与异步通信方式，并实现自动管理进程生命周期的容错监督树。

学习成果：

• 定义 OTP 的核心组件，并实现标准的 GenServer 回调生命周期。
• 区分并实现同步（call）与异步（cast）消息模式。
• 配置并部署监督者，以监控工作进程并确保系统在故障下的可靠性。

🔹 第 9 课：复杂 OTP 架构与状态管理

概述： 本课从单个 GenServer 转向设计与部署复杂的多组件 OTP 应用程序。内容涵盖“去重器”（Duper）重复文件查找器的架构设计、OTP 应用规范的实现机制，以及使用 Distillery 实现热升级等高级部署技术。此外，还探索了任务（Tasks）与代理（Agents）等简化状态管理的替代方案，提供针对特定并发需求选择合适工具的框架。

学习成果：

• 使用五问法分析应用需求，识别关键点与运行时特征。
• 构建多服务器 OTP 应用（Duper），利用专用服务器（结果、路径查找器、收集器）与动态监督者。
• 使用 Distillery 执行代码发布与热升级，包括通过 code_change 回调实现状态迁移。

🔹 第 10 课：元编程、协议与类型安全

概述： 本课探讨 Elixir 的高级可扩展性，重点在于通过元编程与宏将代码作为数据进行操作。学生将学习如何使用协议（Protocols）与行为（Behaviours）实现多态性，通过脐带项目（Umbrella projects）构建大型系统，并实现稳健的错误处理。最后，课程涵盖使用 Elixir 类型系统与 Dialyzer 添加静态分析层，以确保代码正确性。

学习成果：

• 掌握 quote 与 unquote 的使用，实现在宏中注入与操纵代码块。
• 实现自定义协议与行为，创建可多态且可复用的代码结构。
• 构建多应用脐带项目，并为动态 Elixir 代码应用正式的类型规范。