mgreenblog

posts by category about this blog

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.