Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2008-11-11 (06:35)
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, . It has lazy
lists, and the code is supposed to be educational.

Hmm, looking at 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,


> 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.