CDuce

Benefits of CDuce

• static verifications ;
• smooth and safe compositions of XML transformations and incremental programming;
• static optimizations and efficient execution model.
• complete integration with OCaml.
• integration with Ocsigen via the OcCDuce module

  Features particular to CDuce

• XML objects can be manipulated as first-class citizen values: elements, sequences, tags, characters and strings, attribute sets; sequences of XML elements can be specified by regular expressions, which also apply to characters strings;
• functions themselves are first-class values, they can be manipulated, stored in data structure, returned by a function,...
• a powerful pattern matching operation can perform complex extractions from sequences of XML elements;
• a rich type algebra, with recursive types and arbitrary boolean combinations allows precise definitions of data structures and XML types; general purpose types and types constructors are taken seriously ;
• polymorphism through a natural notion of subtyping, and overloaded functions with dynamic dispatch;
• a highly-effective type-driven compilation schema.