On Sunday, 19 July 2020 at 17:06:14 UTC, Paul Backus wrote:
Also, letting aliases refer to expressions essentially allows AST macros in through the back door. Consider the following example:[...]
Perhaps what's needed is something more that is less than allowing aliases for expressions in the wide sense you suggest here.
