From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA24357; Fri, 4 Jul 2003 10:20:20 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA23088 for ; Fri, 4 Jul 2003 10:20:17 +0200 (MET DST) Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h648KHT21133 for ; Fri, 4 Jul 2003 10:20:17 +0200 (MET DST) Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef.ens.fr (8.12.9/1.01.28121999) with ESMTP id h648KHko053332 for ; Fri, 4 Jul 2003 10:20:17 +0200 (CEST) Received: from localhost (frisch@localhost) by clipper.ens.fr (8.12.3/jb-1.1) id h648KEBG023825 for ; Fri, 4 Jul 2003 10:20:14 +0200 (MET DST) X-Authentication-Warning: clipper.ens.fr: frisch owned process doing -bs Date: Fri, 4 Jul 2003 10:20:14 +0200 (MET DST) From: Alain.Frisch@ens.fr X-X-Sender: frisch@clipper.ens.fr Reply-To: Alain.Frisch@ens.fr To: Caml list Subject: [Caml-list] CDuce Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by amavisd-milter (http://amavis.org/) X-Spam: no; 0.00; alain:01 frisch:01 cduce:01 caml-list:01 higher-order:01 type-based:01 runtime:01 type-safe:01 conforms:01 namespaces:01 schema:01 undocumented:01 implemented:01 subtyping:01 negation:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear Caml-list, I'm pleased to announce the first public release of CDuce, a new strongly typed higher-order functional programming language for XML documents with an efficient type-based runtime implementation. The distribution can be downloaded at: http://www.cduce.org/download.html More information can be found at: http://www.cduce.org/ And you can directly try CDuce with a web browser using the online prototype at: http://www.cduce.org/cgi-bin/cduce CDuce is fast, functional, type-safe, and conforms to basic standards: Unicode, XML, DTD, Namespaces are handled, partial support of XML Schema validation is in alpha testing (and undocumented) while queries are being implemented. The OCaml community could be interested in CDuce because: - CDuce syntax is reminiscient of ML languages (but CDuce has a completely different type system, with subtyping and intersection, union, negation types, and also a different type-based semantics with overloaded functions and pattern matching on types); - CDuce is written in OCaml; - Our research plans include the development of a CDuce <-> OCaml interface, to allow extending CDuce with OCaml and using CDuce for the XML part of OCaml applications. This is the first beta version. All your comments, suggestions, and bug reports are welcome. Please send all of them to info@cduce.org Thanks in advance, Alain Frisch, on behalf of the CDuce team. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners