scope - 类型系统和范围之间的关系？

Question

正如标题所示，我想知道这两个编程概念之间的关系是什么。某种类型系统（静态/动态）是否适合某种类型的作用域（词法/动态），还是这些独立的语言选择？

Answer 1

由于变量绑定是在运行时解析的，因此静态类型不能很好地用于动态范围。这是可能的，但它会很笨拙，因为类型系统必须以某种方式键入自由变量，可能是通过检查绑定变量。基本上，您不能声明两个同名但类型不同的不同变量。强类型和弱类型也将发挥作用。我仍在思考静态、弱类型、动态范围的语言可能采用什么形式，假设它是可能的。

词法作用域与静态和动态类型配对。