1. 子類型

1.1. 在期望類型T的實例的任何地方，都可以安全地使用類型S的實例，則類型S是類型T的子類型

1.1.1. 里氏替換原則（Liskov substitution principle）

2. 名義子類型

2.1. 明確指定

2.2. 顯式聲明一個類型是另一個類型的子類型

2.3. 大部分主流編程語言採用的方式

2.3.1. Java

2.3.2. C#

2.4. TypeScript通過使用unique symbol可以模擬名義子類型

3. 結構子類型

3.1. 類型具有相同的結構

3.2. 不需要顯式聲明子類型關係

3.3. 一個類型的結構與另一個類型相似（具有相同的成員，可能還有額外的成員），自動被視為後者的子類型

3.4. TypeScript使用結構子類型

3.5. 即使類型不在我們的控制範圍內，我們在類型之間仍然能建立關係

3.5.1. 例如：我們不能修改的來自外部庫的一個類型

4. 極端情況

4.1. 頂層類型

4.1.1. 把任何東西賦值給它的類型

4.1.1.1. 用來存儲任何東西

4.1.1.2. C#的Object

4.1.1.3. TypeScript的unknown

4.1.1.3.1. null的類型是null

4.1.1.3.2. undefined的類型是undefined

4.1.1.3.3. Object

4.1.1.3.4. 三者和類型即unknown

4.1.1.3.4.1. Object | null |undefined

4.1.1.3.5. 只有當我們確認一個值具有某個類型時，才能把該值用作該類型

4.1.1.3.5.1. C#提供了is關鍵字

4.1.1.3.5.2. Java則提供了instanceof

4.1.2. 其他任何類型的父類型

4.1.3. 位於子類型層次結構的頂端

4.2. 底層類型

4.2.1. 可以賦值給任何東西的類型

4.2.1.1. 沒有某種類型的實例可用

4.2.1.2. TypeScript的never

4.2.2. 其他任何類型的子類型

4.2.3. 位於子類型層次結構的底端

4.2.4. 始終是一個空類型：這是我們不能為其創建實際值的類型

4.2.5. 允許我們假裝有任何類型的一個值，即使我們並不能生成這個值

4.2.6. 很少有主流語言提供底層類型

4.2.6.1. 使一個類型成為空類型，但不能使其成為底層類型

4.2.6.2. 除非在編譯器中實現，否則我們無法自定義底層類型

5. 和類型

5.1. 父類型比子類型的類型更多

5.1.1. 例如：Triangle | Square是Triangle | Square | Circle的子類型

5.2. Variant能夠封裝幾個類型中某個類型的值，但是它本身不是其中任何一個類型

6. 可變性

6.1. 協變性

6.1.1. 一個類型保留其底層類型的子類型關係

6.1.2. 數組具有協變性，因為它保留了子類型關係

6.1.3. 當處理集合（如LinkedList）時，不同的語言具有不同的行為

6.1.3.1. 在C#中，必須通過聲明介面並使用out關鍵字（ILinkedList），顯式指出一個類型（如LinkedList）的協變

6.1.4. 函數的返回類型具有協變性

6.2. 逆變性

6.2.1. 一個類型顛倒了其底層類型的子類型關係

6.2.2. 大部分編程語言中，函數的實參是逆變的

6.2.2.1. TypeScript是一個例外

6.2.2.1.1. 故意做出的設計決策

6.3. 雙變性

6.3.1. 類型的底層類型的子類型關係決定了它們互為子類型

6.3.2. 在TypeScript中函數實參的雙變性可能導致錯誤的代碼通過編譯

6.4. 不變性

6.4.1. 一個類型不考慮其底層類型的子類型關係

6.4.2. C#中的List具有不變性

7. any類型

7.1. 可以把任何值賦值給any

7.2. 可以把any值繞過類型檢查賦值給其他任何類型

7.3. 會繞過類型檢查立即把該值用作其他任何類型的值