From the D Blog: Crafting Self-Evident Code in D

[sighoya]

On Monday, 2 October 2023 at 17:28:19 UTC, Mike Parker wrote:
>[...]

I have another thing to add. You argued about reasons not to use 
macros but these reasons don't apply to AST Macros, they won't 
allow constructing new languages like in Lisp or in Neat.

Typed AST Macros would only accept parseable D source code with 
correct typing while untyped AST Macros would relax typing issues 
but syntax is still valid D.