Elixir
以Elixir的真实运行模型为主线,覆盖基础语法、核心抽象、工程边界和长期维护所需的迁移判断。
阅读起点
先从本页第一章开始;如果对应概念已经熟悉,可以从目录中选择需要补齐的章节。
全书顺序
本书按知识依赖组织。主线先建立可运行的共同模型,再进入机制、工程边界和生产约束;维护与前沿内容明确标注,不改变主线的学习顺序。
第1章|函数、模式匹配与不可变性
理解本章函数、模式匹配与不可变性的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 安装 Elixir 与运行第一个程序:理解安装 Elixir 与运行第一个程序的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 函数与匿名函数:def、fn 与捕获:理解函数与匿名函数:def、fn 与捕获的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 模式匹配:= 与解构:理解模式匹配:= 与解构的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 管道操作符:|> 与数据转换:理解管道操作符:|> 与数据转换的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 递归与尾调用优化:理解递归与尾调用优化的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第2章|集合、枚举与流
理解本章集合、枚举与流的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 列表:链表与头尾分解:理解列表:链表与头尾分解的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 元组与关键字列表:固定大小与选项:理解元组与关键字列表:固定大小与选项的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Map 与 Struct:键值对与结构化数据:理解Map 与 Struct:键值对与结构化数据的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Enum:map、filter、reduce 与遍历:理解Enum:map、filter、reduce 与遍历的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Stream:惰性枚举与无限序列:理解Stream:惰性枚举与无限序列的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第3章|模块、协议与行为
理解本章模块、协议与行为的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 模块:命名空间与函数组织:理解模块:命名空间与函数组织的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 协议:多态与类型扩展:理解协议:多态与类型扩展的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 行为:定义回调契约:理解行为:定义回调契约的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 宏与元编程:代码生成:理解宏与元编程:代码生成的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第4章|进程、消息与并发
理解本章进程、消息与并发的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 进程:spawn、send 与 receive:理解进程:spawn、send 与 receive的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 进程链接与监控:link、monitor 与容错:理解进程链接与监控:link、monitor 与容错的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Agent:简单状态容器:理解Agent:简单状态容器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Task:异步计算与并发:理解Task:异步计算与并发的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第5章|OTP、GenServer 与监督树
理解本章OTP、GenServer 与监督树的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- GenServer:通用服务器行为:理解GenServer:通用服务器行为的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 回调与状态:init、handle_call、handle_cast:理解回调与状态:init、handle_call、handle_cast的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Supervisor:监督策略与重启:理解Supervisor:监督策略与重启的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Application:启动与依赖树:理解Application:启动与依赖树的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Registry 与动态 Supervisor:理解Registry 与动态 Supervisor的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第6章|Mix、测试与发布
理解本章Mix、测试与发布的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Mix 项目:mix new 与项目结构:理解Mix 项目:mix new 与项目结构的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 依赖管理:mix.exs 与 Hex:理解依赖管理:mix.exs 与 Hex的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- ExUnit:测试、断言与 Mock:理解ExUnit:测试、断言与 Mock的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 发布:mix release 与 OTP 包:理解发布:mix release 与 OTP 包的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第7章|Phoenix、Ecto 与分布式(第1段)
理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Phoenix 基础:路由、控制器与模板:理解Phoenix 基础:路由、控制器与模板的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- LiveView:实时 UI 与服务端渲染:理解LiveView:实时 UI 与服务端渲染的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Ecto:Schema、查询与迁移:理解Ecto:Schema、查询与迁移的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 分布式 Elixir:节点连接与 RPC:理解分布式 Elixir:节点连接与 RPC的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Nerves 与嵌入式:IoT 与硬件:理解Nerves 与嵌入式:IoT 与硬件的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 模式匹配:理解模式匹配的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第8章|Phoenix、Ecto 与分布式(第2段)
理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 管道操作符:理解管道操作符的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 尾调用优化:理解尾调用优化的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 列表头尾分解:理解列表头尾分解的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Enum 遍历:理解Enum 遍历的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Map 与 Struct:理解Map 与 Struct的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Stream 惰性求值:理解Stream 惰性求值的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第9章|Phoenix、Ecto 与分布式(第3段)
理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 进程基础:理解进程基础的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 进程链接与监控:理解进程链接与监控的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Agent 状态容器:理解Agent 状态容器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Supervisor 监督策略:理解Supervisor 监督策略的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 回调函数:理解回调函数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Application 启动:理解Application 启动的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第10章|Phoenix、Ecto 与分布式(第4段)
理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Registry 进程注册:理解Registry 进程注册的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Phoenix 控制器:理解Phoenix 控制器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- LiveView 状态:理解LiveView 状态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 协议多态:理解协议多态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 行为契约:理解行为契约的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 宏元编程:理解宏元编程的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第11章|Phoenix、Ecto 与分布式(第5段)
理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Ecto Schema:理解Ecto Schema的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Mix 项目结构:理解Mix 项目结构的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- mix.exs 与 Hex:理解mix.exs 与 Hex的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Phoenix 路由与控制器:理解Phoenix 路由与控制器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 分布式节点:理解分布式节点的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 监督树:理解监督树的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第12章|Phoenix、Ecto 与分布式(第6段)
理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- LiveView 实时 UI:理解LiveView 实时 UI的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Nerves 嵌入式:理解Nerves 嵌入式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- Ecto 查询 DSL:理解Ecto 查询 DSL的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
阅读边界
本页是学习路线和专题入口,不替代专题笔记中的机制解释、可运行示例和练习。笔记尚未完成的专题会先显示为占位页;已有经验的读者可以跳到具体章节,再按前置关系回补。
路线状态
本路线的目录已完成本轮架构审查;专题笔记的内容质量和来源审查另行进行。