CDuce è un linguaggio di programmazione funzionale , di ordine superiore, fortemente tipizzato, adatto per la manipolazione sicura ed efficiente di documenti XML .
Un'operazione di filtraggio dei pattern consente di esprimere in modo conciso estrazioni di dati complesse e il sistema di tipi garantisce che tutti i documenti di input validi verranno elaborati in modo esaustivo e non possono essere prodotti documenti di output non validi.
Il progetto OCamlDuce mira a integrare CDuce nel linguaggio generale OCaml .