类型系统

built-in: int8、、、func、map

自定义类型

内置类型和自定义类型都有自己的描述信息，称为类型元数据，类型元数据构成为 GO 语言的类型系统。

Go、Java 这类支持反射的编程语言，经过编译阶段以后，代码中定义的各种类型信息会被保留下来。编译器会使用特定的数据结构来装载类型信息，并把它们写入生成的 OBJ 文件中，这些信息最终会被链接器存放到可执行文件中，供运行阶段检索使用。描述具体数据类型信息的结构体被称为类型元数据。

类型元数据都是在编译阶段生成的，经过链接器的处理后被写入可执行文件中，runtime 中的类型断言、反射和内存管理等都依赖于这些元数据。