XDuce

XDuce ("transduce") is a typed programming language that is specifically designed for processing XML data. One can read an XML document as an XDuce value, extract information from it or convert it to another format, and write out the result value as an XML document. Since XDuce is statically typed, XDuce programs never yield run-time type errors and the resulting XML documents always conform specified types.

XDuce has several notable features.

• XDuce features regular expression types, which are similar in spirit to Document Type Definitions (DTD).
• XDuce provides a powerful notion of subtyping. (It allows any subtyping relation that you may expect from your intuition on inclusion relation of regular expressions.) It not only gives substantial flexibility in programming, but also is useful for schema evolution or integration.
• XDuce supports regular expression pattern matching , which combines if-expressions, tag-checks, and extraction of subnodes.