技术栈
程序语言设计
柠檬叶子C
1 年前
pl
·
pl理论
·
程序语言设计
【PL理论】(23) 函数式语言：let-in 示例的分解 | 谁在使用动态作用域？
目录0x00 let-in 示例的分解0x01 谁使用动态作用域？让我们详细检查这个示例的评估步骤，回忆一下 let-in 语义的推理规则：