本文主要是介绍【PL理论】(19) 函数式语言:更复杂的 let-in 示例 | 作用域 | 静态作用域 vs. 动态作用域,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
- 💭 写在前面:本章我们将继续讲解函数式语言,介绍比上一章更复杂的 let-in 示例,进行分析。并讲解作用域,通过例子对比静态作用域和动态作用域的区别。
目录
0x00 复杂的 let-in 示例
0x01 作用域
0x02 静态作用域 vs. 动态作用域
0x00 复杂的 let-in 示例
分析每行环境如何变化:
- 第 2~7 行中的整个表达式在 {𝑥 ↦ 10} 下进行评估
- 第 5 行中的 x + z 表达式在 {𝑥 ↦ 1, 𝑧 ↦ 2} 下进行评估
- 第 7 行中的 x + y 表达式在 {𝑥 ↦ 10, 𝑦 ↦ 3} 下进行评估
你还必须能够绘制推导树来证明这个程序最终被评估为 13(即,𝝓 ⊢ 𝒆 ⇓ 𝟏𝟑)
0x01 作用域
在前面的示例中,我们可以考虑每个名称有效的区域(这样的区域称为作用域)
- 第一个 x(第 1 行的)在 2 - 7 行中全都有效
- 第二个 x(第 3 行的)只在 4 - 5 行中有效
此外,名称 z 只在第 5 行有效,因此,如果我们在第 7 行写入 z + y,将会出现错误。
0x02 静态作用域 vs. 动态作用域
决定作用域也可以看作是解决名称冲突的问题。
在第 3 行的 x + n 中,n 指的是哪一个?第一个 n (第 1 行的) ?还是第二个 n (第 5 行) ?
直觉上,自然会认为指的是第一个 n 。
这样的设计选择被称为静态作用域(大多数现代语言采用此方式)。
在具有动态作用域的语言中,n 指的是第二个 n,也就是说,它在运行时引用的是最近定义的 n:
静态和动态作用域的概念也存在于命令式编程语言中。
考虑以下 C 代码(当然了,C 就是使用静态作用域的)
如果 C 使用动态作用域,理解一个程序会变得困难,取决于选择的分支,n 可能是 20 或 30:
📌 [ 笔者 ] 王亦优
📃 [ 更新 ] 2024.6.10
❌ [ 勘误 ] /* 暂无 */
📜 [ 声明 ] 由于作者水平有限,本文有错误和不准确之处在所难免,本人也很想知道这些错误,恳望读者批评指正!
📜 参考资料 Microsoft. MSDN(Microsoft Developer Network)[EB/OL]. []. . |
这篇关于【PL理论】(19) 函数式语言:更复杂的 let-in 示例 | 作用域 | 静态作用域 vs. 动态作用域的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!