A Balance of Power: Expressive, Analyzable Controller Programming
I just finished reading A Balance of Power: Expressive, Analyzable Controller Programming. It's an interesting proposal, but I'm writing just to express my satisfaction with the following sentence:
When we hit expressive limits, however, our goal is not to keep growing this language---down that path lies
sendmail.cf
and other sulphurous designs---but to call out to full-language code.
'Sulphurous' indeed. Come for the nonmonotonic interpretation of learning, stay for the colorful prose.