Potted history of languages for XML processing. CDuce as a general purpose language with powerful type structure oriented towards XML processing. XML schema validation as type-checking. Types constructed using regular expression types, recursive types, set-theoretic boolean operators and lisp-like encodings for values. Patterns reinvented as types with capture variables rather than a separate concept. Advanced patterns, map operators and support for SQL-like querying.
Homework
- Try out the examples shown in the slides (fill in the details).
- Work through the tutorial at http://www.cduce.org.
Posted by David Aspinall 