language_fan wrote:
Wed, 12 Aug 2009 00:06:03 +1000, Daniel Keep thusly wrote:
It sounds good in theory, but it doesn't seem to hold up in practice.
Why? Has there been any non-successful attemps in this direction?
Many constructs of D for which semantics can be defined with a collection
of simpler constructs come to mind, e.g. foreach.
I used lowering to explain the likes of foreach and scope(xyz), with
what I'd call qualified success. It doesn't simplify things as much as
one would think it does.
Andrei
