Using an ESDL as a strategy for eliminating bugs
Stop Regression Testing is perhaps a little strong, all things considered, but I do find the idea that if you're expressing your application as a language, you're in a position to work around certain sorts of bugs once, in one place, kind of compelling.