Will respond more about that later, but just wanted to point you to Phil Wadler's 1999 paper about both XML and the S-expression approach (HTML/XML are essentially S-expressions too):

http://homepages.inf.ed.ac.uk/wadler/papers/next700/next700....