Version française
Home     About     Download     Resources     Contact us    
Browse thread
RE: [Caml-list] laziness
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: William Lovas <wlovas@s...>
Subject: Re: [Caml-list] laziness
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