小编M0B*_*M0B的帖子

动态类型检查编译语言中的符号表

我正在尝试创建一种动态类型检查编译语言,现在我对此有点困惑:

- 编译语言总是有静态类型检查
- 任何编译器的阶段必须具有相同的顺序 -
例如,符号表必须在词法分析阶段创建,并且必须与每个阶段连接,如下图所示。

在此处输入图片说明

上述条款是否属实?
真正的问题是什么时候(哪个阶段)必须为这种语言创建符号表?

compiler-construction typechecking symbol-table compile-time-type-checking

-1
推荐指数
1
解决办法
170
查看次数