On Tuesday, 27 April 2021 at 08:12:57 UTC, FeepingCreature wrote:
[...]
Nice, thanks.
Generally, I think providing a meta programming framework by the
language/compiler is like any decision equipped with tradeoffs.
Technically, more power is better than providing a simple
language with limitations and upgrades which fragment the
language more and more over time.
However, too much power exceeds human- and compiler's semantic
reasoning. For instance allowing macros to mutate non-locally Ast
Nodes in the whole project or even in downstream code is a
powerful yet horrible utility to assist developing a productive
software.