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 QAA00200; Tue, 17 Sep 2002 16:57:15 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 QAA00412; Tue, 17 Sep 2002 16:57:14 +0200 (MET DST) Received: from crufty.research.bell-labs.com (ns2.research.bell-labs.com [204.178.16.49]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g8HEvD916781; Tue, 17 Sep 2002 16:57:13 +0200 (MET DST) Received: from grubby.research.bell-labs.com (H-135-104-2-9.research.bell-labs.com [135.104.2.9]) by crufty.research.bell-labs.com (8.12.5/8.12.5) with ESMTP id g8HEvDLI001464; Tue, 17 Sep 2002 10:57:13 -0400 (EDT) Received: from mcs.research.bell-labs.com (mcs.research.bell-labs.com [135.104.32.15]) by grubby.research.bell-labs.com (8.11.6/8.11.6) with ESMTP id g8HEv6o29604; Tue, 17 Sep 2002 10:57:06 -0400 (EDT) Received: from saras65k.research.bell-labs.com (saras65k.research.bell-labs.com [135.104.32.76]) by mcs.research.bell-labs.com (8.9.3/8.8.8) with ESMTP id KAA2308076; Tue, 17 Sep 2002 10:57:04 -0400 (EDT) Received: from [135.104.37.251] ([135.104.37.251]) by saras65k.research.bell-labs.com (8.10.2+Sun/8.7.3) with ESMTP id g8HEv4I17370; Tue, 17 Sep 2002 10:57:04 -0400 (EDT) Subject: FYI about Galax [ Was: [Caml-list] building web services using oCaml ] From: Jerome Simeon To: Xavier Leroy , caml-list@pauillac.inria.fr, Mary Fernandez Cc: Xavier Leroy , Arnaud Sahuguet In-Reply-To: <01e001c25e57$428e8f80$0b1919ac@bl.belllabs.com> References: <016301c25e06$b67e7230$0b1919ac@bl.belllabs.com> <20020917141602.A27670@pauillac.inria.fr> <01e001c25e57$428e8f80$0b1919ac@bl.belllabs.com> Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Mailer: Ximian Evolution 1.0.8 Date: 17 Sep 2002 10:56:02 -0400 Message-Id: <1032274562.1896.136.camel@simeon-lt> Mime-Version: 1.0 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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