符号表

记录每个名字是什么：变量还是函数、什么类型、作用域在哪。语义检查全靠它。