Skip to content

Elixir ​

以Elixir的真实运行模型为主线,覆盖基础语法、核心抽象、工程边界和长期维护所需的迁移判断。

阅读起点 ​

先从本页第一章开始;如果对应概念已经熟悉,可以从目录中选择需要补齐的章节。

全书顺序 ​

本书按知识依赖组织。主线先建立可运行的共同模型,再进入机制、工程边界和生产约束;维护与前沿内容明确标注,不改变主线的学习顺序。

第1章|函数、模式匹配与不可变性 ​

理解本章函数、模式匹配与不可变性的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 安装 Elixir 与运行第一个程序:理解安装 Elixir 与运行第一个程序的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 函数与匿名函数:def、fn 与捕获:理解函数与匿名函数:def、fn 与捕获的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 模式匹配:= 与解构:理解模式匹配:= 与解构的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 管道操作符:|> 与数据转换:理解管道操作符:|> 与数据转换的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 递归与尾调用优化:理解递归与尾调用优化的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第2章|集合、枚举与流 ​

理解本章集合、枚举与流的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 列表:链表与头尾分解:理解列表:链表与头尾分解的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 元组与关键字列表:固定大小与选项:理解元组与关键字列表:固定大小与选项的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Map 与 Struct:键值对与结构化数据:理解Map 与 Struct:键值对与结构化数据的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Enum:map、filter、reduce 与遍历:理解Enum:map、filter、reduce 与遍历的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. Stream:惰性枚举与无限序列:理解Stream:惰性枚举与无限序列的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第3章|模块、协议与行为 ​

理解本章模块、协议与行为的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 模块:命名空间与函数组织:理解模块:命名空间与函数组织的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 协议:多态与类型扩展:理解协议:多态与类型扩展的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 行为:定义回调契约:理解行为:定义回调契约的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 宏与元编程:代码生成:理解宏与元编程:代码生成的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第4章|进程、消息与并发 ​

理解本章进程、消息与并发的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 进程:spawn、send 与 receive:理解进程:spawn、send 与 receive的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 进程链接与监控:link、monitor 与容错:理解进程链接与监控:link、monitor 与容错的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Agent:简单状态容器:理解Agent:简单状态容器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Task:异步计算与并发:理解Task:异步计算与并发的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第5章|OTP、GenServer 与监督树 ​

理解本章OTP、GenServer 与监督树的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. GenServer:通用服务器行为:理解GenServer:通用服务器行为的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 回调与状态:init、handle_call、handle_cast:理解回调与状态:init、handle_call、handle_cast的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Supervisor:监督策略与重启:理解Supervisor:监督策略与重启的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Application:启动与依赖树:理解Application:启动与依赖树的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. Registry 与动态 Supervisor:理解Registry 与动态 Supervisor的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第6章|Mix、测试与发布 ​

理解本章Mix、测试与发布的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. Mix 项目:mix new 与项目结构:理解Mix 项目:mix new 与项目结构的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 依赖管理:mix.exs 与 Hex:理解依赖管理:mix.exs 与 Hex的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. ExUnit:测试、断言与 Mock:理解ExUnit:测试、断言与 Mock的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 发布:mix release 与 OTP 包:理解发布:mix release 与 OTP 包的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第7章|Phoenix、Ecto 与分布式(第1段) ​

理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. Phoenix 基础:路由、控制器与模板:理解Phoenix 基础:路由、控制器与模板的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. LiveView:实时 UI 与服务端渲染:理解LiveView:实时 UI 与服务端渲染的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Ecto:Schema、查询与迁移:理解Ecto:Schema、查询与迁移的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 分布式 Elixir:节点连接与 RPC:理解分布式 Elixir:节点连接与 RPC的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. Nerves 与嵌入式:IoT 与硬件:理解Nerves 与嵌入式:IoT 与硬件的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 模式匹配:理解模式匹配的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第8章|Phoenix、Ecto 与分布式(第2段) ​

理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 管道操作符:理解管道操作符的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 尾调用优化:理解尾调用优化的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 列表头尾分解:理解列表头尾分解的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Enum 遍历:理解Enum 遍历的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. Map 与 Struct:理解Map 与 Struct的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. Stream 惰性求值:理解Stream 惰性求值的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第9章|Phoenix、Ecto 与分布式(第3段) ​

理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 进程基础:理解进程基础的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 进程链接与监控:理解进程链接与监控的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Agent 状态容器:理解Agent 状态容器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Supervisor 监督策略:理解Supervisor 监督策略的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 回调函数:理解回调函数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. Application 启动:理解Application 启动的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第10章|Phoenix、Ecto 与分布式(第4段) ​

理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. Registry 进程注册:理解Registry 进程注册的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. Phoenix 控制器:理解Phoenix 控制器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. LiveView 状态:理解LiveView 状态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 协议多态:理解协议多态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 行为契约:理解行为契约的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 宏元编程:理解宏元编程的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第11章|Phoenix、Ecto 与分布式(第5段) ​

理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. Ecto Schema:理解Ecto Schema的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. Mix 项目结构:理解Mix 项目结构的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. mix.exs 与 Hex:理解mix.exs 与 Hex的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. Phoenix 路由与控制器:理解Phoenix 路由与控制器的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 分布式节点:理解分布式节点的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 监督树:理解监督树的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第12章|Phoenix、Ecto 与分布式(第6段) ​

理解本章Phoenix、Ecto 与分布式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. LiveView 实时 UI:理解LiveView 实时 UI的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. Nerves 嵌入式:理解Nerves 嵌入式的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. Ecto 查询 DSL:理解Ecto 查询 DSL的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

阅读边界 ​

本页是学习路线和专题入口,不替代专题笔记中的机制解释、可运行示例和练习。笔记尚未完成的专题会先显示为占位页;已有经验的读者可以跳到具体章节,再按前置关系回补。

路线状态 ​

本路线的目录已完成本轮架构审查;专题笔记的内容质量和来源审查另行进行。

用心记录每一步成长