CDuce ist eine funktionale , stark typisierte Programmiersprache höherer Ordnung, die für die sichere und effiziente Bearbeitung von XML- Dokumenten geeignet ist .
Durch eine Musterfilterung können komplexe Datenextraktionen präzise ausgedrückt werden, und das Typsystem stellt sicher, dass alle gültigen Eingabedokumente vollständig verarbeitet werden und keine ungültigen Ausgabedokumente erstellt werden können.
Das OCamlDuce- Projekt zielt darauf ab, CDuce in die allgemeine Sprache OCaml zu integrieren .