Yes indeed, I quite agree with David.
One of the main points in the 2012 STEPS report (when I get around to finally
finishing it and getting it out) is exactly David's -- that it is a huge design
task to pull off a good DSL -- actually it is a double design task: you first
need to come up with
Take a look at the Inform 7 language (http://inform7.com/) and its modular
'rulebooks'.
Creating good rules-based languages isn't trivial, mostly because ad-hoc
rules can interfere in ways that are awkward to reason about or optimize.
Temporal logic (e.g. Dedalus, Bloom) and constraint-logic techn
Has anyone ever attempted to automatically add meaning, semantics, longer
variable names, loops, and comments automatically to code? Just how good
are the beautifiers out there, and can we do better?
No, I'm not asking anyone to break a license agreement. Ideally, I would
want this to work on co