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=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1F4FABC69 for ; Thu, 4 Oct 2007 22:54:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAIvvBEfLENaMnmdsb2JhbACOOAEBAQEHBAYp X-IronPort-AV: E=Sophos;i="4.21,232,1188770400"; d="scan'208";a="2393330" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2007 22:54:19 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l94KsILM014897 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 4 Oct 2007 22:54:18 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAIvvBEfLENaMnmdsb2JhbACOOAEBAQEHBAYp X-IronPort-AV: E=Sophos;i="4.21,232,1188770400"; d="scan'208";a="2393329" Received: from ipmail01.adl2.internode.on.net ([203.16.214.140]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2007 22:54:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADPtBEd5LHvc/2dsb2JhbAAM X-IronPort-AV: E=Sophos;i="4.21,232,1188743400"; d="scan'208";a="204353578" Received: from ppp121-44-123-220.lns10.syd6.internode.on.net (HELO [192.168.1.201]) ([121.44.123.220]) by ipmail01.adl2.internode.on.net with ESMTP; 05 Oct 2007 06:24:18 +0930 Subject: Re: [Caml-list] Unsoundness is essential From: skaller To: Arnaud Spiwack Cc: caml-list@inria.fr In-Reply-To: <47052E37.8010201@lix.polytechnique.fr> References: <20071003083529.40DA2A99F@Adric.metnet.fnmoc.navy.mil> <4703FDEF.7030900@univ-savoie.fr> <1191451810.7218.86.camel@rosella.wigram> <1191462724.7542.76.camel@rosella.wigram> <47049A6D.6020201@univ-savoie.fr> <4704AAA8.9080602@lix.polytechnique.fr> <1191509355.6518.104.camel@rosella.wigram> <470506D9.3080704@fmf.uni-lj.si> <1191515120.6518.173.camel@rosella.wigram> <47052E37.8010201@lix.polytechnique.fr> Content-Type: text/plain Date: Fri, 05 Oct 2007 06:54:14 +1000 Message-Id: <1191531254.7078.117.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 470552FA.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 ocaml:01 optimistic:98 residual:98 sourceforge:01 wrote:01 arnaud:01 caml-list:01 edges:01 expression:02 defined:02 bugs:03 bugs:03 curses:05 perhaps:05 On Thu, 2007-10-04 at 20:17 +0200, Arnaud Spiwack wrote: > > That would be wonderful if they did work... Unfortunately to my > knowledge, a software is a mere collection of bugs, glued together with > a couple of features. Or perhaps I'm being a little optimistic here :p . Lol! The one I hear is that a program is defined to be the tracks left by thousands of bugs. In the case of Ocaml, we might say that when many messages of the form: "This expression has type SquarePeg but is here used with type RoundHole" have been fixed by sandpapering off the edges of those pegs .. the program is the residual sawdust that remains on the floor after thousands of curses. -- John Skaller Felix, successor to C++: http://felix.sf.net