Haxe 編譯器利用豐富的類型系統，可以在編譯時檢測程序中類型相關的錯誤。類型錯誤是對一個特定類型執行了一個無效操作如，除以一個字符串、嘗試訪問一個整數的字段，或者調用一個函數而沒有傳遞足夠（或太多）的參數。在一些語言中，這些額外的安全需要消耗很多精力，因為程序員被要求明確地分配類型到語法結構： ~~~ var myButton:MySpecialButton = new MySpecialButton(); // As3 MySpecialButton* myButton = new MySpecialButton(); // C++ ~~~ 顯式的類型聲明在 Haxe 中并不是必須的，因為編譯器可以推斷類型： ~~~ var myButton = new MySpecialButton(); // Haxe ~~~ 我們會在 [類型推斷（第3.6節）](http://#) 中探索它的細節。現在，足以確定上面代碼中的變量 `myButton` 是可以被認為 `MySpecialButton` 類的一個實例。 Haxe 的類型系統知道七個類型組： * 類實例：一個指定類或者接口對象 * 枚舉實例：Haxe 枚舉類型中的一個值 * 結構類型：一個匿名結構，即，一個被命名的字段集合 * 函數類型：一個由一些參數和一個返回值組成的混合類型 * 動態類型：一個萬能類型，可以和任何類型兼容 * 抽象類型：一個編譯時類型，在運行時被一個不同的類型表示 * 單形類型：一個 unknown 類型，之后可能會成為不同的類型 下一章中，我們將描述這些類型組中的每個類型，以及它們之間如何聯系。 >[warning] 定義: **混合類型** 復合類型是指擁有子類型的類型。這包括使用 [類型參數（第3.2節）](http://#) 的任何類型和 [函數類型（第2.6節）](http://#)。