| XDuceA Typed XML Processing Language
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.
|