Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] building web services using oCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-09-17 (14:57)
From: Jerome Simeon <simeon@r...>
Subject: FYI about Galax [ Was: [Caml-list] building web services using oCaml ]
Since Arnaud bite the bullet already, let me give a few infos about

Galax is an implementation of the XPath 2.0 / XQuery 1.0 family of
working drafts. (See It is a complete
implementation of those two languages. People on this list will probably
be interested to know it also comes with (alpha) support for XML Schema
and static type inference.

Galax is open-source and implemented in Caml. The development is
(mostly) done by Mary Fernandez from AT&T and myself.

We are planning for an official release by the end of the month (which
is the reason we did not advertise it yet), but people interested can
find a very early prototype and more details on the Galax Web site.

Stay tuned for more in a couple of weeks :)

- Jerome

Jerome Simeon -
Bell Laboratories --- Lucent Technologies
600 Mountain Avenue, Murray Hill, NJ, USA
Tel: +1 908 582 5473 Fax: +1 908 582 7308

On Tue, 2002-09-17 at 10:33, Arnaud SAHUGUET wrote:
> > There are cases where it just makes more sense to interface to an
> > existing C library.  I think SSL falls in this category, because the
> > SSL protocol is quite complex, and the OpenSSL implementation seems
> > of good quality.  On the other hand, the subset of HTTP that you need
> > to write CGI-like applications is simple enough that implementing it
> > directly in OCaml (like OcamlNet does) is easier than trying to
> > interface to, say, libwww.
> I agree that this is fine for a subset of HTTP. But what if we need the
> whole thing.
> I think the problem is not so much implementing something in oCaml, it is
> implementing something that satisfies a given spec (e.g. SSL, HTTP, etc.)
> and maintaining it. The maintainance is really the hard part.
> >From my point of view, relying on a reference implementation (e.g. libwww
> maintained by W3C) is a good way to go.
> Furthermore, for cryptographic library, it is always risky to provide yet
> another implementation because it is more prone to mistakes which can lead
> to serious security leaks.
> Arnaud
> -------------------
> To unsubscribe, mail Archives:
> Bug reports: FAQ:
> Beginner's list:

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: