From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA22304; Mon, 6 Sep 2004 18:21:30 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 SAA21264 for ; Mon, 6 Sep 2004 18:21:29 +0200 (MET DST) Received: from nexus.stwing.upenn.edu (NEXUS.STWING.UPENN.EDU [165.123.132.61]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i86GLS1J015400 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Mon, 6 Sep 2004 18:21:29 +0200 Received: from force.stwing.upenn.edu (force.stwing.upenn.edu [165.123.132.65]) by nexus.stwing.upenn.edu (8.12.10/8.12.9) with ESMTP id i86GLQwr020845 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Mon, 6 Sep 2004 12:21:27 -0400 (EDT) Received: from force.stwing.upenn.edu (localhost [127.0.0.1]) by force.stwing.upenn.edu (8.12.10/8.12.9) with ESMTP id i86GLQh4006628 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 6 Sep 2004 12:21:26 -0400 (EDT) Received: (from wlovas@localhost) by force.stwing.upenn.edu (8.12.10/8.12.9/Submit) id i86GLQOC006627 for caml-list@pauillac.inria.fr; Mon, 6 Sep 2004 12:21:26 -0400 (EDT) Date: Mon, 6 Sep 2004 12:21:25 -0400 From: William Lovas To: caml-list Subject: Re: [Caml-list] laziness Message-ID: <20040906162125.GA6299@force.stwing.upenn.edu> Mail-Followup-To: caml-list References: <413879B6@webmail> <20040906005741.GA20406@annexia.org> <200409061355.05523.jon@jdh30.plus.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200409061355.05523.jon@jdh30.plus.com> User-Agent: Mutt/1.5.4i X-Miltered: at concorde with ID 413C8E88.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lovas:01 wlovas:01 stwing:01 caml-list:01 2004:99 2004:99 bug:01 haskell:01 impure:01 sep:01 lazy:02 06,:02 complexity:02 complexity:02 laziness:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Sep 06, 2004 at 01:55:05PM +0100, Jon Harrop wrote: > On Monday 06 September 2004 01:57, Richard Jones wrote: > > One thing that worries me about laziness. > > > > Doesn't laziness often indicate a bug in the code? > > [...] > > So laziness can be used as an optimisation. Laziness has a particularly special place for pure languages like Haskell. Some algorithms cannot be expressed with the same asymptotic complexity in a pure eager language as in an impure eager language. But this complexity gap can be closed by making the pure language lazy: http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/morehaste.html cheers, William ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners