類型推斷是讓編譯工具在編譯時猜測類型的過程，目的是不用特別指定每個變量的類型就可以實現強類型。這跟動態類型不同，因為數據仍然需要是一個一致的類型。當編譯工具掃描你的代碼，它試圖保證類型被分配到變量上，而在變量的生命周期內不會被改變。 當你使用函數時，類型推斷對程序有著極大的作用。后面會介紹函數。 在一個新文件輸入如下代碼并保存為 `TypeInference.hx` ： ~~~ class TypeInference { public static function() { var myVar = 10.5; trace(myVar); } } ~~~ 現在編譯并運行這個例子。你會看到 `myVar` 的內容被輸出到命令行窗口。現在修改代碼加入新行： ~~~ class TypeInference { public static function() { var myVar = 10.5; trace(myVar); myVar = “The quick brown fox.”; trace(myVar); } } ~~~ 當你編譯這個例子，應該會看到一個錯誤，大致如下： > TypeInference.hx:7: characters 2-32 : String should be Float 在第一個示例中，編譯工具并沒有為變量注冊類型，直到它第一次被賦值。一旦值的類型決定，它就會綁定類型到該變量，所以只有特定的數據類型才能在將來存儲到這個變量中。 第二個例子，編譯工具注意到變量已經包含了一個 `Float`。它之后再被賦值一個 `String` 值，它并不能立即轉換為 `Float` 類型，所以編譯工具拋出一個錯誤。