"Circus-DTE is a programming language specialized for Data Structure transformation. Thanks to its original type system, Circus-DTE provides powerful verification of transformation programs. The 'hot' problem of designing XML transformations that produce "valid" (DTD compliant) outputs is addressed through an advanced type system and a convenient Data Model associated with an automatic and powerful DTD-to-Circus-DTE-type conversion tool..."
"...Circus-DTE has been designed around the paradigm of structure transformation, which is a rather new approach for modeling problems, but particularly suited for transformation related computations, e.g. language processor or transformation of structured documents."
The guiding principles for the design of Circus-DTE were:
- friendly but powerful type system
(expression of structure schemes and static verification)
- minimal but expressive set of constructs
(simplicity, legibility, flexibility, clarity)
- powerful "structural" pattern matching
(three fundamental operations unified in one operator)
- composition operators
(modularity and reusability of computational units)
Circus-DTE is also an attempt to find trade-off and to pull a language into the "magic" polygon where the whole is much more than the sum of the parts..."
[More info at AlphaAve]
