「错误恢复与诊断」
系统讲解编译器的错误恢复与诊断设计：panic 模式与同步恢复策略、诊断信息的结构与呈现、lint 与静态分析、编译器驱动与增量编译，以及错误码、修复建议与语言服务的集成，附带可运行的 Python 实现。
category
Compiler
共 13 篇文章。
「运行时与内存管理」
系统讲解语言运行时的内存管理：栈帧布局与调用约定、堆分配与逃逸分析、标记清除与分代 GC、写屏障与回收根、引用计数与所有权模型，以及内存安全边界的工程权衡，附带可运行的 Python 示例与伪代码。
「现代优化 Pass 管线」
系统讲解现代编译器的优化 Pass 管线：函数内联、循环展开与变换、向量化、SSA 上的常量传播、Profile-Guided 优化，以及 Pass 调度与收敛的工程细节，附带 Python 与伪代码示例，帮助理解 -O2 背后发生了什么。
「类型系统与类型推断」
深入类型系统与类型推断的实现：静态类型判定规则、Hindley-Milner 推断与合一算法、泛型与约束求解、联合类型与子类型关系，以及类型检查器如何融入符号表并在编译期拦截错误，附带可运行的 Python 实现。
「LLVM 与 LLVM IR 后端」
系统讲解以 LLVM 为核心的后端路线：LLVM IR 的 SSA 形式与 phi 节点、IRBuilder 的增量生成、优化 Pass 管线、SelectionDAG 目标代码生成，以及语言前端 IR 到 LLVM IR 的桥接与降级，附带 Python 与 C++ 示例。
「手写 AST 解释器与求值语义」
从树遍历求值出发，讲解手写 AST 解释器的完整实现：环境与词法作用域、闭包与递归、引用与值的语义、求值顺序与短路求值、控制流的树形编码，并对比字节码解释器的取舍，附带可运行的 Python 求值器示例。
「解释器与 JIT 编译」
从 AST 解释器到字节码虚拟机再到 JIT 编译，讲解树遍历解释、内联缓存、热点探测、分层编译与代码缓存的实现原理，对比各执行模型取舍并给出伪代码示例。
「目标代码生成」
深入目标代码生成的关键环节，覆盖指令选择、寄存器分配、栈帧布局与调用约定、指令调度及窥孔优化，讲解图着色分配、活跃变量分析与复杂指令选择，附带伪代码与汇编示例。
「中间代码优化」
系统讲解中间表示上的经典优化技术，覆盖常量折叠与传播、死代码消除、公共子表达式消除、循环不变量外提与强度削减、数据流分析框架以及 SSA 形式下的优化实现，附带伪代码与变换示例。
「语义分析与中间表示」
讲解语义分析如何用符号表与类型系统赋予语法树意义，并介绍中间表示的设计取舍，涵盖作用域链、类型检查与推断、三地址码、控制流图与 SSA 形式，附带 Python 与 C 伪代码示例。
「语法分析与 AST 构建」
深入语法分析的两大路线：递归下降与 LR 自动机，讲解上下文无关文法、FIRST/FOLLOW 集合、LL 与 LR 冲突消解、Pratt 运算符优先级解析以及抽象语法树的构建与错误恢复，附带可运行的 Python 示例。
编译原理与实践专题：从词法分析到 JIT 编译器
编译原理是计算机科学的基石，从正则与 DFA 到语法分析、SSA 中间表示与寄存器分配，构成了理解语言实现与现代运行时（JVM、V8、Rustc）的核心。本专题系统覆盖词法分析器、语法分析与 AST 构建、语义分析与中间表示、中间代码优化、目标代码生成，以及解释器与 JIT 编译，帮助开发者深入理解语言如何被翻译与执行。
「词法分析器实现」
从正则表达式到有限自动机，系统讲解词法分析器的手写与自动生成，覆盖 Thompson 构造、子集构造、DFA 状态表、最长匹配规则、跳过分隔符与错误恢复，并给出可运行的 Python 实现与避坑经验。