Application-specific macros make code unreadable, while common and standard ones might as well be a language feature. A well-designed language should offer suitable extension points in a structured way, rather than just allowing code to perform completely arbitrary transformations on the AST.