从「程序即值」到「运行时指令解释」
6 个阶段 · 24 课时 · 26 个知识点，每课都配原理演练与即时反馈。
📌 学情建议：继续推进：为什么需要 Effect：TypeScript 的四个缺口
六个阶段 · 平缓递进
心智模型与准备 Mental Model
先换脑子，再写代码。理解「程序即值」与三通道类型。
🎯 能解释为什么 Effect 不是 Promise 包装器
课时 0/4 完成 · 知识点 0/4 已接触
核心值与组合 Core & Composition
构造子、组合子、类型累积、运行边界。
🎯 能独立写出并运行一段完整的 Effect 流水线
课时 0/4 完成 · 知识点 0/5 已接触
错误与诊断 Errors & Cause
预期错误 / 缺陷 / 中断，Cause 与恢复策略。
🎯 能为领域错误设计类型化恢复路径
课时 0/4 完成 · 知识点 0/5 已接触
依赖与资源 Services & Resources
Context.Service、Layer 依赖图、Scope 与 finalizer。
🎯 能把一个应用拆成可替换的服务层
课时 0/4 完成 · 知识点 0/4 已接触
并发与运行时底层 Runtime Internals
Fiber、runLoop 指令解释、Scheduler、结构化中断。课程核心。
🎯 能讲清一个 Effect 从蓝图到 Exit 的完整执行链
课时 0/4 完成 · 知识点 0/4 已接触
流、调度与工程化 Streams & Production
Stream 背压、Schedule 重试、并发原语、生态与落地。
🎯 能把 Effect 渐进引入真实项目
课时 0/4 完成 · 知识点 0/4 已接触
全部课时
心智模型与准备
L01未开始
为什么需要 Effect：TypeScript 的四个缺口
L02未开始
程序即值：Effect<Success, Error, Requirements>
L03未开始
安装、配置与第一次运行
L04未开始
pipe、Effect.gen 与组合的本质
核心值与组合
L05未开始
构造子全景：把现实世界装进 Effect
L06未开始
组合与变换：map / flatMap / all / zip
L07未开始
类型是怎么长出来的：E 与 R 的累积
L08未开始
运行边界与 Exit：把结果变成值
错误与诊断
L09未开始
两类错误：failure 与 defect
L10未开始
Cause 的底层结构：扁平 reasons 数组
L11未开始
恢复策略与重试边界
L12未开始
可观测性：日志、追踪与失败报告
依赖与资源
L13未开始
Context.Service：类型化的服务键
L14未开始
Layer 是构造配方，不是服务本身
L15未开始
依赖图：merge / provide / provideMerge 与记忆化
L16未开始
Scope 与资源安全：finalizer 为什么不会漏
并发与运行时底层
L17未开始
Fiber：虚拟线程与运行中的 Effect
L18未开始
★ 指令解释器：Effect 蓝图与 runLoop
L19未开始
★ Scheduler：协作让出与公平性
L20未开始
★ 结构化并发与异步中断
流、调度与工程化
L21未开始
Stream：零到多个值与背压
L22未开始
Schedule：把重试策略变成值
L23未开始
并发原语与 STM
L24未开始
生态、稳定性与渐进落地