我們在 [類型（第2章）](http://#) 學習了不同的類型，現在看看它們之間如何交互。我們從引入 [typedef（第3.1節）](http://#) 作為一個簡單的開始，`typedef` 是給一個復雜類型一個名字（或別名）的機制。除此之外，當我們使用帶 [類型參數（第3.2節）](http://#) 的類型時它也會派上用場。 很多類型安全是通過檢查前面的類型組的兩個指定類型是否兼容來實現的。就是說，編譯器嘗試對它們執行如在 [統一（第3.5節）](http://#) 中描述的統一。 所有的類型以模塊形式組織，可以被通過路徑找到。 [模塊和路徑（第3.7節）](http://#) 中會詳細解釋相關的機制。