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=1.5 required=5.0 tests=AWL,MAILTO_TO_REMOVE,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 0B837BC69 for ; Fri, 19 Oct 2007 07:46:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHfhF0fAXQInh2dsb2JhbACOUAIBCAopgSc X-IronPort-AV: E=Sophos;i="4.21,298,1188770400"; d="scan'208";a="4834706" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Oct 2007 07:46:53 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9J5krtY016662 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 19 Oct 2007 07:46:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHfhF0dQW+UCh2dsb2JhbACOUAIBCAopgSc X-IronPort-AV: E=Sophos;i="4.21,298,1188770400"; d="scan'208";a="3328157" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Oct 2007 07:46:52 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1Iikh6-0002Wb-PG for caml-list@inria.fr; Fri, 19 Oct 2007 05:46:48 +0000 Received: from 0x57353b08.boanxx19.adsl-dhcp.tele.dk ([87.53.59.8]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 19 Oct 2007 05:46:48 +0000 Received: from spam by 0x57353b08.boanxx19.adsl-dhcp.tele.dk with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 19 Oct 2007 05:46:48 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: =?UTF-8?B?QsOhcsOwdXIgw4FyYW50c3Nvbg==?= Subject: Re: Help me find this pdf Date: Fri, 19 Oct 2007 07:46:40 +0200 Message-ID: References: <200710181457.58077.jon@ffconsultancy.com> <47176C28.1090509@janestcapital.com> <200710181818.31430.jon@ffconsultancy.com> <20071019152311.25cdf410.mle+ocaml@mega-nerd.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 0x57353b08.boanxx19.adsl-dhcp.tele.dk User-Agent: Thunderbird 2.0.0.6 (X11/20071002) In-Reply-To: <20071019152311.25cdf410.mle+ocaml@mega-nerd.com> Sender: news X-Miltered: at concorde with ID 471844CD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; haskell:01 haskell:01 cheers:01 devil:98 wrote:01 wrote:01 lazy:02 lazy:02 match:02 figuring:02 pattern:04 erik:04 matching:05 i'd:06 indeed:07 Erik de Castro Lopo wrote: > Bárður Árantsson wrote: > >> What you're saying is basically that lazy pattern matching should only >> force as much of the value under examination as is actually necessary to >> decide if there's a match. Do I have that right? >> >> If so, then Haskell does exactly this. > > But haskell is lazy by default so of course it does it right. > Indeed. I was just having a devil of time figuring out what people were actually trying to say and some people seemed to be talking past each other, so I just thought I'd try phrasing it as succinctly as possible. (Using Haskell as an example of how to do it right.) Cheers, -- Bardur Arantsson - Kittens give Morbo gas. In lighter news, the city of New New York is doomed. Blame rests with known human Professor Hubert Farnsworth and his tiny inferior brain. Morbo, 'Futurama'