From: Jerome Simeon <simeon@research.bell-labs.com>
To: Xavier Leroy <xavier.leroy@inria.fr>,
caml-list@pauillac.inria.fr,
Mary Fernandez <mff@research.att.com>
Cc: Xavier Leroy <xavier.leroy@inria.fr>,
Arnaud Sahuguet <sahuguet@research.bell-labs.com>
Subject: FYI about Galax [ Was: [Caml-list] building web services using oCaml ]
Date: 17 Sep 2002 10:56:02 -0400 [thread overview]
Message-ID: <1032274562.1896.136.camel@simeon-lt> (raw)
In-Reply-To: <01e001c25e57$428e8f80$0b1919ac@bl.belllabs.com>
Since Arnaud bite the bullet already, let me give a few infos about
Galax.
Galax is an implementation of the XPath 2.0 / XQuery 1.0 family of
working drafts. (See http://www.w3.org/XML/Query). 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.
(http://db.bell-labs.com/galax).
Voila,
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 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
-------------------
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
next prev parent reply other threads:[~2002-09-17 14:57 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-09-17 4:56 [Caml-list] building web services using oCaml Arnaud SAHUGUET
2002-09-17 12:16 ` Xavier Leroy
2002-09-17 14:33 ` Arnaud SAHUGUET
2002-09-17 14:56 ` Jerome Simeon [this message]
2002-09-17 15:07 ` Stephen Tse
2002-09-18 18:57 ` Alain Frisch
2002-09-18 19:11 ` Arnaud Sahuguet
2002-09-19 7:03 ` openssl (was: [Caml-list] building web services using oCaml) Florian Hars
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=1032274562.1896.136.camel@simeon-lt \
--to=simeon@research.bell-labs.com \
--cc=caml-list@pauillac.inria.fr \
--cc=mff@research.att.com \
--cc=sahuguet@research.bell-labs.com \
--cc=xavier.leroy@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