我们在 [类型（第2章）](http://#) 学习了不同的类型，现在看看它们之间如何交互。我们从引入 [typedef（第3.1节）](http://#) 作为一个简单的开始，`typedef` 是给一个复杂类型一个名字（或别名）的机制。除此之外，当我们使用带 [类型参数（第3.2节）](http://#) 的类型时它也会派上用场。 很多类型安全是通过检查前面的类型组的两个指定类型是否兼容来实现的。就是说，编译器尝试对它们执行如在 [统一（第3.5节）](http://#) 中描述的统一。 所有的类型以模块形式组织，可以被通过路径找到。 [模块和路径（第3.7节）](http://#) 中会详细解释相关的机制。