靜態擴展（第6.3節）和宏的概念有一些沖突：前者需要一個已知類型來確定使用的函數，而宏在類型化簡單的語法之前執行。因此毫不奇怪，結合使用這兩個特性可能導致問題。Haxe 3.0 會嘗試轉換 類型化表達式回到一個 語法表達式，并不總是可行，可能丟失一些重要信息。我們建議小心使用。 **從 Haxe 3.1.0 以后：** 靜態擴展和宏的組合在 3.1.0 版本被重構。Haxe編譯器甚至不設法尋找宏參數最初的表達式，而是傳遞一個特殊的 @:this this 表達式。而這個表達式的結構不傳達信息，表達式仍然被正確的類型化： ~~~ import haxe.macro.Context; import haxe.macro.Expr; using Main; using haxe.macro.Tools; class Main { static public function main() { #if !macro var a = "foo"; a.test(); #end } macro static function test(e:ExprOf<String>) { trace(e.toString()); // @:this this // TInst(String,[]) trace(Context.typeof(e)); return e; } } ~~~