From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id ED8E7BCAE for ; Mon, 18 Jul 2005 12:03:24 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6IA3Oml000917 for ; Mon, 18 Jul 2005 12:03:24 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA27450 for ; Mon, 18 Jul 2005 12:03:24 +0200 (MET DST) Received: from alex.barettalocal.com (h213-255-109-130.albacom.net [213.255.109.130] (may be forged)) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6IA3NDf028476 for ; Mon, 18 Jul 2005 12:03:23 +0200 Received: from [127.0.0.1] (localhost.localdomain [127.0.0.1]) by alex.barettalocal.com (Postfix) with ESMTP id 719862BAA98; Mon, 18 Jul 2005 12:01:59 +0200 (CEST) Message-ID: <42DB7E16.8000602@barettadeit.com> Date: Mon, 18 Jul 2005 12:01:58 +0200 From: Alex Baretta User-Agent: Debian Thunderbird 1.0.2 (X11/20050331) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Andrej.Bauer@andrej.com, Ocaml Subject: Re: [Caml-list] (Mostly) Functional Design? References: <9cc3782b05071411004b27b6a4@mail.gmail.com> <42DB6161.4030507@cs.utah.edu> <42DB74DC.8030201@barettadeit.com> <42DB78D3.7010401@andrej.com> In-Reply-To: <42DB78D3.7010401@andrej.com> Content-Type: text/plain; charset=ISO-8859-2 Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 42DB7E6C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42DB7E6B.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; baretta:01 caml-list:01 andrej:01 coherence:01 api:01 baretta:01 erp:98 wrote:01 tend:02 functional:02 alex:03 alex:03 370:96 370:96 static:03 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: Andrej Bauer wrote: > Dear Alex, > > I was silly enough to write to you _before_ looking at the xcaml web > page. I think I can find my answers there. I am painfully slow at putting up some code for the community to look at. The trouble is that, although we are a free software company, we tend to (find the time to) release our code only when we are paid to do so. *** The Xcaml paradigm only partly solves your issues. It is aimed at guarateeing coherence in a very large scale ERP application, which implies that we have worked a lot on guarateeing static type safety in queries. We have still not finished implementing the Xcaml2 API, which will include proper static verification of HTML forms. Alex -- ********************************************************************* http://www.barettadeit.com/ Baretta DE&IT A division of Baretta SRL tel. +39 02 370 111 55 fax. +39 02 370 111 54 Our technology: The Application System/Xcaml (AS/Xcaml) The FreerP Project