C-Duce es un lenguaje de programación de tipado estático centrado en la expresividad y la seguridad. Posee un sistema de tipos único que combina características de los lenguajes funcional y orientado a objetos. C-Duce también destaca por su compatibilidad con la programación XML.
C-Duce fue creado por Xavier Leroy y Michel Mauny de INRIA, con contribuciones de Julien Signoles y Alain Frisch. Está publicado bajo la Licencia Pública General Reducida de GNU.
C-Duce es una extensión del lenguaje de programación OCaml. Añade soporte para programación XML, así como otras características.
La programación XML en C-Duce se basa en un sencillo pero potente modelo de documentos XML como estructuras de árbol. Esto facilita la escritura de programas que manipulan documentos XML de forma natural.
C-Duce también soporta una serie de características avanzadas, como funciones de orden superior, polimorfismo y manejo de excepciones. Estas características permiten escribir programas concisos y expresivos.
C-Duce es un lenguaje muy eficiente. Los programas escritos en C-Duce suelen ser mucho más rápidos que los escritos en otros lenguajes, como Java o C#.
C-Duce es una opción ideal para desarrollar aplicaciones que necesiten manipular documentos XML. También es una buena elección para cualquier aplicación que requiera un alto rendimiento.