不是两门课，是一套 BEAM 思维

学透Erlang+Elixir

从模式匹配到监督树，从第一条消息到可靠的混合语言系统。不是让你“看懂”，是让每个结论都能跑、能坏、能解释。

零基础从运行时开始模块 00 · 先画清 BEAM 地图已有编程基础先学 Elixir模块 02 · 快速获得反馈已有 Elixir 基础直达 OTP 核心模块 06 · 从循环推导 behaviour

12模块

46检查点

≈66h完整路径

2 → 1语言 · VM

BEAM RUNTIME

message

DOWN

VMBEAMscheduler · mailbox · isolation

01ElixirGenServer

02Erlanggen_server

03OTPSupervisor

常用入口

学习时，少绕一次远路

查看全部资源

Elixir Docs查语言指南、标准库与当前版本入口。Elixir Install按操作系统选择安装方式并核对版本要求。Erlang Docs查 OTP 设计原则、参考手册与效率指南。OTP Downloads获取 Erlang/OTP，并查看当前与历史发布版本。hex.pm寻找 Erlang/Elixir 包、版本与依赖信息。Elixir Forum遇到真实工程问题时，先搜索社区讨论与案例。

学习系统，而不只是教程

四件事，让“我好像懂了”无处可藏

参考 kimi-k3-learn 的核心教学方法：运行、对照、复习、故障注入。把它换成最适合 BEAM 的实验，而不是照搬表面形式。

跑得动

12 个实验

每个关键概念都落到可复制的 IEx / erl 实验；浏览器模拟器只负责把协议过程变得可见。

看得见

双语对照

Elixir 与 Erlang 并排展示。你学的是共同的 term、进程与 behaviour，不是两套互不相干的语法。

记得住

46 个检查点

每个模块都有快速自测、语言互译和一个真正改变条件的挑战，进度可以导出与恢复。

敢弄坏

故障注入

主动制造迟到回复、mailbox 堆积、重启风暴和节点断开；每次都写清实验不能证明什么。

桥接路线

先用 Elixir 获得反馈，再用 Erlang 看清底层

不先完整学完一门，再把同样概念重学一遍。基础阶段分别练语法；从并发开始，每个协议都用两种语言实现一次， OTP 概念只讲一次。

1
Elixir：快速建立数据流
模式匹配、多子句函数、Enum、Mix 与 ExUnit。
2
Erlang：读懂 VM 的母语
term、模块、binary、递归、Rebar3 与 EUnit。
3
BEAM / OTP：共同练习
消息协议、behaviour、监督树、容量与分布式。

打开完整语义映射模块

ELIXIR

同一 VM

ERLANG

:ok同一个 atomok

Foo.bar()Elixir 模块的底层 atom'Elixir.Foo':bar()

:lists.reverse(xs)直接调用 Erlang 标准库lists:reverse(Xs)

fn x -> x * 2 end匿名函数fun(X) -> X * 2 end

GenServer同一个 OTP behaviourgen_server

完整学习路径

从第一个 term，到可发布的 OTP 系统

12 个模块、46 个检查点。按阶段推进，也可以搜索你现在最需要补的概念。每个模块都有真实代码、故障实验、自测和项目验收。

⌘ K

你的学习进度0 / 12 模块

先看见运行时

把 Erlang、Elixir、BEAM 与 OTP 放进同一张地图。

BEAMElixirErlang

起跑线：两门语言，一台机器

完成运行时与 Mix 工具链检查，在 erl 与 iex 中运行等价代码，再创建、测试一个最小 Elixir 项目。

2 个检查点2 小时开始 →

BEAMOTP

先建立 BEAM 心智模型

用一个最小消息系统理解独立堆、mailbox、调度与“让它崩”的真正含义。

3 个检查点3 小时开始 →

掌握两种语言

分别练熟语法，再建立一套可来回翻译的语义。

Elixir

Elixir 基础：让数据流过函数

从一组脏日志出发，写出可组合、可测试的数据转换模块。

5 个检查点6 小时开始 →

Erlang

Erlang 基础：读懂 BEAM 的母语

把同一个日志分析器改写为 Erlang 模块，用 EUnit 验证语法与语义。

5 个检查点6 小时开始 →

ElixirErlangBEAM

两种语法，一套语义

同一个订单状态机写两版纯函数，补齐 typespec、测试与错误边界。

4 个检查点5 小时开始 →

并发与容错

从裸进程一路推导到 OTP、监督树与背压。

ElixirErlangBEAM

从裸进程理解并发

设计 request/reply 协议，理解 link、monitor、timeout 与选择性接收。

4 个检查点6 小时开始 →

ElixirErlangOTP

从手写循环推导 OTP

把 KV 循环分别重构为 GenServer 与 gen_server，并比较 call、cast、reply。

5 个检查点7 小时开始 →

ElixirErlangOTP

监督树与应用

用 child spec、restart strategy 与 Application 设计一个可预测恢复的系统。

4 个检查点6 小时开始 →

ElixirErlangBEAM

状态、吞吐与背压

在纯函数、Process、ETS、Registry 与有界任务之间做容量驱动的选择。

3 个检查点5 小时开始 →

走向生产

节点、可观测性、互操作，以及一个完整混合项目。

BEAMOTP

分布式与可运维性

连接两个节点，模拟断网，并用日志、Telemetry 与 Observer 解释系统状态。

4 个检查点6 小时开始 →

ElixirErlang

Erlang ↔ Elixir 互操作

让 Elixir API 调用 Erlang worker，处理 binary/charlist、record/map 与异常边界。

3 个检查点4 小时开始 →

ElixirErlangOTP

综合项目：可靠任务调度器

Elixir 提供 CLI/API，Erlang gen_server 调度 worker；支持超时、重试、有界队列与故障注入。

4 个检查点10 小时开始 →

先试 3 分钟

一条消息，经过 mailbox，再变成 reply

连续发送几条消息，逐条处理。然后打开“故意弄坏”，观察 server 已经处理但 client 永远等不到 reply 的区别。

01发送成功，不等于处理完成
02timeout 结束等待，不会自动撤回消息
03mailbox 是容量边界，不是无限缓冲

进入裸进程模块

PROCESS 01client发出 request

→

MAILBOX0

等待消息

→

PROCESS 02server0 条已处理

mailbox 为空reply：正常

故意弄坏：不回 reply

事件记录最新在上

01系统就绪：等待 client 发送消息

这是浏览器中的 BEAM 语义模拟器，不是真实 Erlang VM。它用来观察协议；每个课程实验页同时给出可复制到 IEx / erl 的真实代码。

最终项目 · 模块 11

可靠任务调度器

Elixir 提供清晰的 CLI / API，Erlang gen_server 掌控队列与 worker。你要让系统在超时、崩溃、坏消息和节点断开时给出可解释的结果。

有界队列监督树重试 / 幂等双语测试Release

查看毕业验收

ELIXIR APIvalidate · normalize · respond

ERLANG COREqueue · dispatch · retry

worker 01

worker 02

worker 03

SUPERVISORcrash → observe → restart

资源导航

知道什么时候打开哪个链接

优先官方文档，再到包生态与社区。每个入口都标出使用时机，避免把资源页变成一堵链接墙。

官方文档4 个入口

Elixir 官方文档查语言指南、标准库与当前版本入口。安装 Elixir按操作系统选择安装方式并核对版本要求。Erlang/OTP 系统文档查 OTP 设计原则、参考手册与效率指南。下载 Erlang/OTP获取 Erlang/OTP，并查看当前与历史发布版本。

包与工具4 个入口

Hex寻找 Erlang/Elixir 包、版本与依赖信息。HexDocs直接进入包文档与模块 API。Livebook把 Elixir 代码、讲解与可运行实验放在一起。Phoenix完成 BEAM/OTP 地基后，再进入实时 Web 开发。

社区2 个入口

Elixir Forum遇到真实工程问题时，先搜索社区讨论与案例。Erlang Forums跟进 OTP、虚拟机、库与生产经验。

练习4 个入口

Exercism · Elixir用小题练模式匹配、递归与惯用写法。Exercism · Erlang把相同概念换成 Erlang 再做一遍。Elixir School 中文适合补充中文语法解释与专题阅读。Learn You Some Erlang用经典长文深入 Erlang、并发与 OTP。