Go/types, the Go type checker: a tutorial

if you want to see the type checker in action see this short tutorial on go analyze:

https://golang.org/lib/godoc/analysis/help.html

Really great package, I depend on it heavily for my codegen package. https://github.com/clipperhouse/gen

A great introduction for the go/* subpackages.