1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
Source: cduce
Section: interpreters
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Stéphane Glondu <glondu@debian.org>,
Pietro Abate <pietro.abate@pps.jussieu.fr>
Build-Depends:
debhelper (>= 7.2.11~),
dh-ocaml (>= 0.9~),
ocaml-nox (>= 3.11.1-3~),
ocaml-best-compilers,
camlp4-extra,
ocaml-source (>= 3.11.0),
libpcre-ocaml-dev (>= 6.0.1-2~),
libocamlnet-ocaml-dev (>= 2.2.9-7~),
libexpat-ocaml-dev (>= 0.9.1+debian1-6~),
libcurl-ocaml-dev (>= 0.5.1-2~),
ocaml-ulex (>= 1.1-2~),
chrpath,
bzip2
Standards-Version: 3.9.2
Homepage: http://www.cduce.org
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/cduce.git
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/cduce.git
Package: cduce
Architecture: any
Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends}
Provides: ${ocaml:Provides}
Description: programming language adapted to the manipulation of XML data
CDuce is a modern programming language adapted to the manipulation of
XML documents.
.
Some of CDuce's 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.
|
