a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
ror's comments
activity:
ror  ·  3212 days ago  ·  link  ·    ·  parent  ·  post: Unison: the next-generation programming platform

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.