Haxe 由一個高級的、開源編程語言和一個編譯器構成。它允許使用一個 [ECMAScript](http://www.ecma-international.org/publications/standards/Ecma-327.htm) 規范面向對象的語法編寫編譯程序到多種目標平臺。得益于適當的抽象，它可以維護一個單一基礎代碼，并支持編譯到多種目標平臺。 Haxe 是強類型，但是類型系統可以在需要的地方被推翻。利用類型信息，Haxe 類型系統可以在編譯時檢測那些可能只在目標語言運行時才被注意到的錯誤。此外，類型信息可以被目標語言生成器用來生成優化的、健壯的代碼。 目前, Haxe 支持九個目標語言用于不同的用例： |名稱|輸出類型|主要用途| | -- | -- | -- | -- | |JavaScript|Sourcecode|Browser, Desktop, Mobile, Server| |Neko|Bytecode|Desktop, Server| |PHP|Sourcecode|Server| |Python|Sourcecode|Desktop, Server| |C++|Sourcecode|Desktop, Mobile, Server| |ActionScript 3|Sourcecode|Browser, Desktop, Mobile| |Flash|Bytecode|Browser, Desktop, Mobile| |Java|Sourcecode|Desktop, Server| |C#|Sourcecode|Desktop, Mobile, Server| 第一部分余下的內容簡要概述了 一個Haxe 程序的模樣，和自2005年開始以來的進化。 [類型（第2章）](http://#)介紹了 Haxe 中七種不同的類型，和它們之間的交互。在 [類型系統（第3章）](http://#) 中將繼續對類型的討論，如 類型統一、類型參數和類型推斷等。 [類字段（第4章）](http://#) 所有內容都是關于 Haxe 類的結構，其中包括一些其它的話題、屬性的處理、內聯字段和泛型函數等。 在 [表達式（第5章）](http://#) 中我們了解如何通過使用表達式實際上上程序做些什么。 [語言特性（第6章）](http://#) 詳細描述了一些 Haxe 的特性，如模式匹配、字符串插值 和無用代碼消除。這總結了 Haxe 語言參考。 接下來是 Haxe 編譯器參考，首先在進入 [編譯器的高級功能（第8章）](http://#) 之前講述基礎的 [編譯器用法（第7章）](http://#)。然后，將探索令人興奮的內容， [Haxe 的 宏（第9章）](http://#)，了解一些常見的如何被大大簡化。 后面的章節中， [標準庫（第10章）](http://#) 探索 Haxe 標準庫中重要的類型和概念。然后學習 Haxe 的包管理系統 [Haxelib（第11章）](http://#)。 Haxe 抽象了許多目標平臺的差異，但是有時和目標平臺直接交互也是非常重要的，在 [目標平臺細節（第12章）](http://#) 中，我們將討論這個主題。