第12章 语义信息

语义信息主要包含根据名字确定对象的类型和值,分析表达式的类型和值,这些工作主要由go/types包负责解析完成。go/types包是Go语言之父Robert Griesemer大神开发,我们在第11章已经展示如何通过该包来完成类型检查工作。本章将继续讨论go/types包的使用。

出版社已经约稿出版本书,并在开源版本的基础之上增加了语义信息、SSA形式、LLVM和凹语言等内容,


因为出版社版权限制不方便全部公开新增内容,完整内容请参考 实体书