| 116 |
<li> an highly-effective <b>type-driven compilation schema</b>. </li> |
<li> an highly-effective <b>type-driven compilation schema</b>. </li> |
| 117 |
</ul> |
</ul> |
| 118 |
|
|
| 119 |
|
<p>CDuce is fast, functional, |
| 120 |
|
type-safe, and <b>conforms to basic standards</b>: <a href="http://www.unicode.org">Unicode</a>, <a href="http://www.w3.org/XML/">XML</a>, <a href="http://www.w3.org/TR/REC-xml#dt-doctype">DTD</a>, |
| 121 |
|
<a href="http://www.w3.org/TR/REC-xml-names/">Namespaces</a> are fully supported, partial support of <a href="http://www.w3.org/TR/xmlschema-1/">XML Schema</a> validation is |
| 122 |
|
in alpha testing (and undocumented) while queries are being |
| 123 |
|
implemented. |
| 124 |
|
</p> |
| 125 |
|
|
| 126 |
<p> |
<p> |
| 127 |
<local href="bench">Preliminary benchmarks</local> suggest that despite the |
<local href="bench">Preliminary benchmarks</local> suggest that despite the |
| 128 |
overhead for static type verification, a CDuce |
overhead for static type verification, a CDuce |