From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr 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 82984BC69 for ; Tue, 6 Feb 2007 22:52:48 +0100 (CET) Received: from sigma957.cis.mcmaster.ca (sigma957.CIS.McMaster.CA [130.113.64.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l16Lqln0013788 for ; Tue, 6 Feb 2007 22:52:48 +0100 Received: from Dura7.UTS.McMaster.CA (dura7.UTS.mcmaster.ca [130.113.196.62]) by sigma957.cis.mcmaster.ca (8.13.7/8.13.7) with ESMTP id l16LqHGe019305; Tue, 6 Feb 2007 16:52:38 -0500 (EST) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by Dura7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id l16Lq1Q2009125; Tue, 6 Feb 2007 16:52:01 -0500 Received: from [130.113.68.27] (account carette@univmail.cis.mcmaster.ca [130.113.68.27] verified) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.1.8) with ESMTP id 161029595; Tue, 06 Feb 2007 16:52:01 -0500 Message-ID: <45C8F813.7050909@mcmaster.ca> Date: Tue, 06 Feb 2007 16:50:11 -0500 From: Jacques Carette Organization: McMaster University User-Agent: Thunderbird 1.5.0.9 (Windows/20061207) MIME-Version: 1.0 To: Alwyn Goodloe Cc: Oliver Bandel , caml-list@inria.fr Subject: Re: [Caml-list] Design-by-contract and Type inference? References: <20070201050431.E278AAB40@Adric.metnet.fnmoc.navy.mil> <87fy9lhql7.fsf@linux-france.org> <20070206204507.GV331@first.in-berlin.de> <7009B5BE-ABF2-42B7-9419-84B48ECD4A25@seas.upenn.edu> In-Reply-To: <7009B5BE-ABF2-42B7-9419-84B48ECD4A25@seas.upenn.edu> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 4.7.1.128075, Antispam-Engine: 2.4.0.264935, Antispam-Data: 2007.2.6.133433 X-PerlMx-Spam: Gauge=IIIIIII, Probability=7%, Report='__CP_URI_IN_BODY 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __SANE_MSGID 0, __USER_AGENT 0' X-Miltered: at concorde with ID 45C8F8AF.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; inference:01 pepm:01 popl:01 haskell:01 ocaml:01 alwyn:01 goodloe:01 haskell:01 ocaml:01 alwyn:01 wrote:01 caml-list:01 imperative:01 mcmaster:02 jacques:03 More than "some work". I talked with her at PEPM (right before POPL), and ESC/Haskell is very much alive, and very cool. Details available at http://www.cl.cam.ac.uk/~nx200/ ESC/Ocaml for the 'functional core' should be straightforward enough but, as usual, the imperative features make life considerably more complex. Jacques Alwyn Goodloe wrote: > In a related note I believe a student at Cambridge University > has done some work on ESC/Haskell that would support > design by contract for Haskell. This leads one to believe that > one could probably build a version of ESC for OCAML. > > Alwyn > >