CDuce online prototype

• Main page
• User's manual
• Quick Reference

Sample programs

You can start from one of the predefined examples below or try with you own program...

• Q1. Q1 Query
• Q2. Q2 Query
• Q3. Q3 Query
• Q4. Q4 Query
• Q5. Q5 Query
• Q6. Q6 Query
• Q8. Q8 Query
• Q9. Q9 Query
• Q11. Q11 Query
• Q12. Q12 Query
• Attributs et éléments. Partie 1
• Attributs et éléments. Partie 2
• Attributs et éléments. Partie 3
• XML elements. XML elements.
• Functions. Several syntaxes to define functions.
• Mutual recursion. Mutual toplevel definition for types and functions.
• Sequence literals. How to write sequences.
• Sequence types. Types for sequences.
• The factorial function. What about computing 10000! ?
• Sum types. How to simulate ML sum types.
• Overloaded functions. This examples demonstrates the use of overloaded functions.
• Footnotes. This example shows how to bind an XML element with surrounding text.
• Bibliography. The good old XML bibliography example.
• Projection. Syntactic sugar for projection.
• Tree transformations. How to perform XSLT-like transformations.
• References. Mutable values.
• Compilation of pattern matching. This example demonstrates the efficient compilation of pattern matching.

Input

About the prototype

CDuce is under active development; some features may not work properly.

Webmaster

Prototype version 0.5.1, built on 2008-02-12.