Michael Sperberg-McQueen: move eyeball (semantic) checking into machine (syntax) checking

Hi Folks,

Michael Sperberg-McQueen made the following comment in a message a couple months ago. Since then it has strongly influenced my thinking. So, I thought I'd bring it back out again and share it with everyone.

    One of the great themes of computer science over the last 
    sixty years has been the long-running campaign to move more 
    and more things out of the "must be checked by eyeball" / 
    semantics area, and into the "can readily be checked by 
    machine" / syntax area.


http://www.oxygenxml.com/archives/xml-dev/200902/msg00158.html


/Roger