I think he was just referring to the fact that it's "one more thing to remember". For the record, I would never actually use this macro, for reasons implied by Mauro, but there are other, similar uses that this strategy could be benficial. The choice (IMO) should come down to which is more intuitive.
On Wednesday, February 24, 2016, cdm <[email protected]> wrote: > > interesting ... > > what facilities are available to survey > and reason about this "keyword" space ? > > > > On Wednesday, February 24, 2016 at 11:05:34 AM UTC-8, Mauro wrote: >> >> ... essentially each macro introduces a new keyword. >> >
