From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E2660BB91 for ; Thu, 27 Jan 2005 11:02:28 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0RA2S0k027654 for ; Thu, 27 Jan 2005 11:02:28 +0100 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 LAA16181 for ; Thu, 27 Jan 2005 11:02:27 +0100 (MET) 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 j0RA2RFu027648 for ; Thu, 27 Jan 2005 11:02:27 +0100 Received: from [127.0.0.1] (localhost.localdomain [127.0.0.1]) by alex.barettalocal.com (Postfix) with ESMTP id 233ED2BABDF; Thu, 27 Jan 2005 11:02:27 +0100 (CET) Message-ID: <41F8BC32.1090202@barettadeit.com> Date: Thu, 27 Jan 2005 11:02:26 +0100 From: Alex Baretta User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20050105 Debian/1.7.5-1 X-Accept-Language: it, en-us, en MIME-Version: 1.0 To: skaller@users.sourceforge.net, Ocaml Subject: Re: [Caml-list] '_a References: <1448756C-6FF9-11D9-8411-0003939A19AA@fas.harvard.edu> <20050127.095119.88330421.garrigue@math.nagoya-u.ac.jp> <1106818474.6734.152.camel@pelican.wigram> In-Reply-To: <1106818474.6734.152.camel@pelican.wigram> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 41F8BC34.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41F8BC33.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; baretta:01 caml-list:01 wrote:01 wrote:01 runtime:01 expressivity:01 cduce:01 pxp:01 runtime:01 attributed:01 baretta:01 ...:98 computer's:98 jacques:01 constraints:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.0 X-Spam-Level: skaller wrote: > On Thu, 2005-01-27 at 11:51, Jacques Garrigue wrote: > > >>There is no deep magic, no heuristics. There is just a type system >>which guarantees type soundness (i.e. "well typed programs cannot >>produce runtime type errors"). > > > Unfortunately, 'soundness' as described is somewhat weaker > than one would like, since it depends on the expressivity > of the type system how useful soundness actually is. > ... Sadly, this is very true. Camls are no genies capable of generating correct code when the programmer exerts friction against the computer's case. This is also the reason behind such DSLs as CDuce. Of course, it is very reasonable to state that PXP is sound, but in now way does it guarantee the absence of runtime errors of the kind "required attributed not found". Here at DE&IT we are doing a good deal of work on extending the type system to handle XML well formedness constraints and possibly, to some extent, validity constraints. 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