English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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


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