Haxe 是一個靜態類型語言。這就是說，當聲明一個變量，編譯器需要知道什么類型的數據會被分配給變量，所以它才能有效的處理它。 編程社區也有一些關于動態類型語言才是更好的解決方案的爭論。 動態類型是指變量在任何時候可以包含任何類型數據，通常變量甚至不需要被聲明，直到被查詢之前它們才需要賦值。一旦一個變量保存一個值，數據可以在之后被推斷為另外的類型，而不用使用轉換（cast）。選擇動態類型語言的開發者通常會說他們可以更快的制作原型和開發他們的應用，并常常發現類型限制的不足，相比于他們使用過的更低層語言。然而，這樣的編程技術容易導致混亂的代碼，大大增加造成錯誤代碼和不穩定程序的可能，而且難以維護。同時，這樣構建的應用往往運行緩慢，并且比靜態類型語言消耗更多的內存，因為虛擬機要執行代碼，需要在使用語言創建、轉換和摧毀數據結構時有更多的工作要做。 無論如何，動態類型和靜態類型語言的爭論不會停止，因為每個人的感受不盡相同。但目前，最好還是承認，因為 Haxe 是靜態類型的，它有最優的運行速度和文件大小，而且整潔的語法要求可以使你成為更好的程序員。 不用多說，靜態類型需要對變量進行聲明。Haxe 的變量需要在使用之前聲明，然后一個恰當的結構和相應的內存分配被應用到你的數據。聲明變量使用如下的語法： ~~~ var varName: Type; ~~~ 關鍵字 `var` 和 VB 的 `Dim` 關鍵字很類似，告訴編譯工具后面那一行是一個變量聲明。沒有 `var` 關鍵字，編譯工具期待一個表達式跟在變量后，比如分配數據到變量的語句，當然這會引起一個編譯工具的錯誤，如果變量還未被聲明。 `var` 關鍵字后是變量名。可以取任何你喜歡的名字，只要包含字母、數字或者下劃線。同時，必須注意的是，盡管一個變量名可以包含數字，但是不能以數字作為開頭。 變量聲明的最后一部分是類型。類型名必須以一個大寫字符開始。分配一個類型，會告訴編譯工具你希望存儲到這個變量中的數據的類型，所以才能在之后的代碼中進行檢查，從而減少運行時可能發生的錯誤。 你可以在聲明的時候用數據初始化一個變量，然而這不是強制性的。要初始化一個變量，只要在聲明之后使用一個賦值操作符（`=`），然后后跟是初始化變量需要的值，像這樣： ~~~ var varName: Type = “dataToAssign”; ~~~ 使用到變量聲明之后的數據可以是文本數據，如前面的例子。或者也可以使用現有的變量進行賦值。 試試如何聲明一個變量。輸入如下代碼到一個新的文件，并保存它為 `VariableAssignment.hx` 文件： ~~~ class VariableAssignment { public static function main() { var flt:Float = 10.5; var str:String = "The quick brown fox."; trace(flt); trace(str); } } ~~~ 現在，編譯代碼，使用如下的 `.hxml` 內容： ~~~ -neko variableassignment.n -main VariableAssignment ~~~ 通過如下代碼運行 neko 文件： ~~~ neko variableassignment.n ~~~ 你應該會看到類下面的結果： ~~~ VariableAssignment.hx:5: 10.5 VariableAssignment.hx:6: 飛快的棕色狐貍。 ~~~ 當代碼被編譯時，編譯工具會對比傳遞到變量的值和這些變量被指定的值。 `trace` 函數提供一個方式轉換大多數數據類型為字符串表示的格式，然后它可以被輸出到控制臺。 有可能出現的問題是，你可能并不知道將被存儲到變量中值的類型信息。如果你已經創建了一個程序，通過外部提供的數據進行響應，那么你希望存儲到變量的信息在運行之前并不能確定。 這個問題的答案是 Haxe 使用了類型推斷。