value semantics – Blog Sketch https://blog.ziaowang.top Fri, 30 May 2025 07:09:13 +0000 en-US hourly 1 https://wordpress.org/?v=6.8.5 编程语言二三事 https://blog.ziaowang.top/2024/12/09/programming-languages-concepts/ https://blog.ziaowang.top/2024/12/09/programming-languages-concepts/#respond Mon, 09 Dec 2024 06:42:51 +0000 http://localhost/mysite/?p=5482 本文的写作动机：作为一般程序员而非专门的编程语言研究者，收集对于 PL 的一些基础概念，作此草稿。本文较为琐碎，章节标题并列不代表这两个话题一定是并列的关系。

更新策略：直接修改本文内容

作用域、名称绑定和闭包

自由变量 (Free) 和约束 (Bound) 变量

在数理逻辑中

在表达式 Sigma_{k=1}^10 f(n,…

]]> 本文的写作动机：作为一般程序员而非专门的编程语言研究者，收集对于 PL 的一些基础概念，作此草稿。本文较为琐碎，章节标题并列不代表这两个话题一定是并列的关系。

更新策略：直接修改本文内容

作用域、名称绑定和闭包

自由变量 (Free) 和约束 (Bound) 变量

在数理逻辑中

在表达式 Sigma_{k=1}^10 f(n,…

]]> https://blog.ziaowang.top/2024/12/09/programming-languages-concepts/feed/ 0