我正在尝试创建一种动态类型检查编译语言,现在我对此有点困惑:
- 编译语言总是有静态类型检查 - 任何编译器的阶段必须具有相同的顺序 - 例如,符号表必须在词法分析阶段创建,并且必须与每个阶段连接,如下图所示。
上述条款是否属实? 真正的问题是什么时候(哪个阶段)必须为这种语言创建符号表?
compiler-construction typechecking symbol-table compile-time-type-checking
compile-time-type-checking ×1
compiler-construction ×1
symbol-table ×1
typechecking ×1