语义模型 Semantic model

绑定到一次编译，把语法解析为符号、类型、转换和声明含义的视图。