Version française
Home     About     Download     Resources     Contact us    
Browse thread
Implementation of lazy_t
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andrej Bauer <andrej.bauer@a...>
Subject: Re: [Caml-list] Implementation of lazy_t
If I may advertise myself, have a look at the implementation of
MiniHaskell at the PL Zoo, http://andrej.com/plzoo/ . It has lazy
lists, and the code is supposed to be educational.

Hmm, looking at interp.ml I see that it's not as call-by-need as it
could be. So, a good exercise then is to fix the interpreter to make
it lazier :-)

Best regards,

Andrej

> On Mon, Nov 10, 2008 at 05:31:15PM +0100, Florian Lorenzen wrote:
>> I would like to know how lazy datatype constructors are implemented in
>> OCaml.