多數時候，宏的參數是表示為一個 enum Expr的實例的表達式。這樣，它們被解析但沒有類型化，意味著它們可以是符合Haxe的語法規則的任何內容。宏然后可以檢視它們的結構，或者使用 haxe.macro.Context.typeof() 方法（嘗試）得到它們的類型。 重要的是要理解宏的參數不保證被評估，所以任何預期的副作用不保證會出現。另一方面，同樣重要的是理解一個參數表達式可能被一個宏復制和多次用在返回的表達式中： ~~~ import haxe.macro.Expr; class Main { static public function main() { var x = 0; var b = add(x++); trace(x); // 2 } macro static function add(e:Expr) { return macro $e + $e; } } ~~~ 宏 add 被調用，x++作為參數，并因此使用表達式具體化（第9.3.1節）返回 x++ + x++ ，使 x 被增加兩倍。