{{notability, date=August 2018 CDuce is an

XML Extensible Markup Language (XML) is a markup language and file format for storing, transmitting, and reconstructing arbitrary data. It defines a set of rules for encoding documents in a format that is both human-readable and machine-readable. ...

-oriented

functional language In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that ...

, which extends XDuce in a few directions. It features XML

regular expression A regular expression (shortened as regex or regexp; sometimes referred to as rational expression) is a sequence of characters that specifies a search pattern in text. Usually such patterns are used by string-searching algorithms for "find" ...

types,

regular expression patterns, XML iterators. CDuce is not strictly speaking an XML transformation language since it can be used for general-purpose programming. CDuce conforms to basic standards:

Unicode Unicode, formally The Unicode Standard,The formal version reference is is an information technology standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems. The standard, ...

, DTD, Namespaces are fully supported, XML Schema is partially supported.

Benefits of CDuce

* static verifications (e.g.: ensure that a transformation produces a valid document); * smooth and safe compositions of XML transformations and incremental programming; * static optimizations and efficient execution model (knowing the type of a document is crucial to extract information efficiently). * complete integration with

OCaml OCaml ( , formerly Objective Caml) is a general-purpose, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, D ...

(OCaml libraries can be straightforwardly imported and CDuce programs can be exported to OCaml). * integration with Ocsigen via the OcCDuce module

Features particular to CDuce

* XML objects can be manipulated as

first-class citizen In programming language design, a first-class citizen (also type, object, entity, or value) in a given programming language is an entity which supports all the operations generally available to other entities. These operations typically include b ...

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 Algebra () is one of the areas of mathematics, broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathem ...

, with recursive types and arbitrary

boolean Any kind of logic, function, expression, or theory based on the work of George Boole is considered Boolean. Related to this, "Boolean" may refer to: * Boolean data type, a form of data with only two possible values (usually "true" and "false" ...

combinations (union, intersection, complement) allows precise definitions of data structures and XML types; general purpose types and types constructors are taken seriously (products, extensible records, arbitrary precision integers with interval constraints, Unicode characters); *

polymorphism Polymorphism, polymorphic, polymorph, polymorphous, or polymorphy may refer to: Computing * Polymorphism (computer science), the ability in programming to present the same programming interface for differing underlying forms * Ad hoc polymorphis ...

through a natural notion of subtyping, and overloaded functions with dynamic dispatch; * a highly-effective type-driven compilation schema.

External links

CDuce
XML-based programming languages Functional languages