关于本章
本章讨论programming language的type system，programming language的type system是programming language的核心，正如下一节标题所述：“Type determines everything”。
Type determines everything
本节标题的含义是：类型决定一切。这种想法的是源于：
1) 从creference Objects and alignment、cppreference Object，中可以看出，type决定了：
- alignment
- storage size
- behavior、可以执行的operation
- type 决定了**interpretation** of memory representation，进而决定了 value。
关于这些内容，参见:
C-family-language\C++\Language-reference\Basic-concept\Data-model\Object\Object
C-family-language\C-and-C++\Interpretation-model
2) OOP中，class is type
关于此，参见OOP-and-type-system.md。
扩展type system
目前我已经了解了如下两种扩展type system的方式:
1) OOP中，定义new class，参见./OOP-and-type-system
2) Type constructor，参见./Type-constructor