理论工具与工程选择的错位是编译器领域的核心张力

龙书展示了理论上的"最优解"（LR 分析优于 LL、DFA 优于 NFA 模拟、完整数据流分析优于模式匹配），但实际中工程选择经常"反着来"——手写递归下降（LL）比 LR 生成器更常用，NFA 模拟比 DFA 更实用，轻量级模式匹配比完整分析更受 IDE 欢迎。理论正确性与工程实用性之间的权衡，是每个需要在两者之间做选择的工程师都必须面对的。