Just to tack on to your point, it applies especially well when it comes to semantic editors. I quote a comment from an article referenced in the linked page:

There are serious problems with this vision of "always correct by construction". Often, "work in progress" is in an inconsistent or amorphous state and that needs to be represented somehow. Programmers, mathematicians, musicians, dancers, writers are all involved in creative activity in which being shackled by rules, even the ones one wants to apply at some point, can reduce flow. So I believe there will always be a need for after-the-fact validation, correction, refactoring.