From: Alain Frisch <Alain.Frisch@inria.fr>
To: caml users <caml-list@inria.fr>
Subject: Experimental extension of OCaml with XML types
Date: Tue, 19 Apr 2005 17:22:41 +0200 [thread overview]
Message-ID: <42652241.3080200@inria.fr> (raw)
Dear caml-list,
I'd like to announce an experimental extension of OCaml with built-in
support for XML types. It can be seen roughly as a merger between OCaml
and CDuce (http://www.cduce.org/). The compiler has been implemented on
top of OCaml 3.08.2 and CDuce 0.3.2.
The OCaml+CDuce language is intended to provide a simple way to deal
with XML documents in OCaml applications. Thanks to XML types, you get
static guarantees about the type of XML documents produced by the
application. XML pattern matching is a powerful operation, reminiscent
of ML pattern matching but much more powerful. Some facilities are
provided to translate automatically from regular ML values to CDuce
values and back.
The language might also be useful for non-XML applications: debugging
(using ML-to-XML translation), string regular expression
(types and patterns), ...
Documentation is very succinct for the moment:
http://pauillac.inria.fr/~frisch/ocamlcduce/doc/README.cduce
http://pauillac.inria.fr/~frisch/ocamlcduce/doc/
http://pauillac.inria.fr/~frisch/ocamlcduce/tests/
The CDuce documentation might be useful as well:
http://www.cduce.org/documentation
Home page: http://www.cduce.org/ocaml.html
GODI users can try this extension by adding this line:
GODI_BUILD_SITES += http://pauillac.inria.fr/~frisch/ocamlcduce/godi
to their etc/godi.conf file, and by forcing a recompilation of the
godi-ocaml-src and godi-ocaml packages. They should also build
the godi-xml-support library, which features bindings for XML parsers
(pxp,expat,xml-light) and a tool dtd2types (to generates type
declarations from a DTD).
Enjoy !
Alain
reply other threads:[~2005-04-19 15:22 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=42652241.3080200@inria.fr \
--to=alain.frisch@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).