Imperative template patterns

[Monkyyy]

On Wednesday, 7 May 2025 at 14:58:28 UTC, user1234 wrote
>
> The "live editing of the ast" works (I assume you talk about 
> mixin)

I don't mean mixin. This is from snar rants and some bugs, but a 
compiler textbook would want you to have stages of parsing that 
are pure and sane. Instead it's imparitive, and people complain 
about "walterisms".

If you priece the veil and find a compile time side effect, it 
will act surprisingly sanely, and not undecidably.

For reference I suggest the (T, T data) bug, when this as a 
template header resolves, as an int, the ast starts acting as (T 
int data) afterwards.