|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
cduce
| cduce | programming language adapted to the manipulation of XML data | | Priority | |
| Section | interpreters |
| Installed size | 10832 |
| Maintainer | Thomas Petazzoni <thomas.petazzoni@enix.org> |
| Architecture | i386 |
| Version | 0.4.1-1 |
| Depends | ocaml-nox-3.09.2, ocaml-ulex, libocamlnet-ocaml-dev (>= 1.1), libexpat-ocaml-dev, libcurl-ocaml-dev (>= 0.2.1), libc6 (>= 2.3.6-6), libcomerr2 (>= 1.33-3), libcurl3-gnutls (>= 7.15.5-1), libexpat1 (>= 1.95.8), libgnutls13 (>= 1.4.0-0), libidn11 (>= 0.5.18), libkrb53 (>= 1.4.2), libpcre3 (>= 4.5), zlib1g (>= 1 |
| Suggests | dvd+rw-tools (>= 5.5.4.3.4) |
| File name | pool/main/c/cduce/cduce_0.4.1-1_i386.deb |
| Description | CDuce is a modern programming language adapted to the manipulation of XML documents. . Some of CDuce peculiar features: - 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; - an highly-effective type-driven compilation schema . CDuce is fast, functional, type-safe, and conforms to basic standards: Unicode, XML, DTD, Namespaces are fully supported, partial support of XML Schema validation is in alpha testing (and undocumented) while queries are being implemented. |
|
|
|
Etude RTOS