• 凹语言(Go实现, 面向WASM设计): https://github.com/wa-lang/wa
• WaBook(Go语言实现的MD电子书构建工具): https://github.com/wa-lang/wabook

第12章 语义信息

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

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

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