It is proposed that this article be deleted because of the following concern:Fails WP: N. I can't find any sources that would establish notability. If dePRODing, be sure that the sources are independent of Castagna, Benzaken, and Frisch, who authored the original paper about CDuce. This article was created by a user who only edited this article and whose name matches that of the third author of the original paper -- there are WP: COI concerns as well. (proposed by HyperAccelerated)
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it.
The article may be deleted if this message remains in place for seven days, i.e., after 00:05, 1 July 2024 (UTC).
If you created the article, please don't be offended. Instead, consider improving the article so that it is acceptable according to the deletion policy.Find sources: "CDuce" – news · newspapers · books · scholar · JSTORPRODExpired+%5B%5BWP%3APROD%7CPROD%5D%5D%2C+concern+was%3A+Fails+%5B%5BWP%3A+N%5D%5D.+I+can%27t+find+any+sources+that+would+establish+notability.+If+dePRODing%2C+be+sure+that+the+sources+are+independent+of+Castagna%2C+Benzaken%2C+and+Frisch%2C+who+authored+the+original+paper+about+CDuce.+This+article+was+created+by+a+user+who+only+edited+this+article+and+whose+name+matches+that+of+the+third+author+of+the+original+paper+--+there+are+%5B%5BWP%3A+COI%5D%5D+concerns+as+well.Expired [[WP:PROD|prod]], concern was: Fails WP: N. I can't find any sources that would establish notability. If dePRODing, be sure that the sources are independent of Castagna, Benzaken, and Frisch, who authored the original paper about CDuce. This article was created by a user who only edited this article and whose name matches that of the third author of the original paper -- there are WP: COI concerns as well.
CDuce conforms to basic standards: Unicode, XML, 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 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 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 (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 through a natural notion of subtyping, and overloaded functions with dynamic dispatch;
a highly-effective type-driven compilation schema.