5.Semantic Analysis

符号表

函数式风格的方法在每次进入新的作用域时都需要申请一个新的符号表

表2 ->    表1 
x -> x2   x -> x1 
          y -> y1

可以用二叉搜索树, key是符号名称。进入新

自始至终在单个符号表上进行动态维护。其中每一项对应的不是一个变量的定义，而是变量定义的栈。每次进入新的作用域时，将一个新的符号表压入栈中，离开作用域时弹出