Tag: name binding

编程语言二三事

本文的写作动机：作为一般程序员而非专门的编程语言研究者，收集对于 PL 的一些基础概念，作此草稿。本文较为琐碎，章节标题并列不代表这两个话题一定是并列的关系。更新策略：直接修改本文内容作用域、名称绑定和闭包自由变量 (Free) 和约束 (Bound) 变量在数理逻辑中在表达式 Sigma_{k=1}^10 f(n,…

December 9, 2024