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
Help me find this pdf
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-10-18 (10:34)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Help me find this pdf

On Thu, 2007-10-18 at 11:52 +0200, Tom wrote:
> Not long ago I was searching the Internet on the topic "combining
> eager and lazy evaluation", and have run over a paper which I
> obviously dismissed as "not interesting enough", yet now I have
> realized that it could indeed be useful, but am unable to find it. 
> I know it was talking about a useful primitive, I do not know how
> exactly it was named, which checked whether values passed as arguments
> to functions were lazy (blocks to be evaluated) or eager (already
> evaluated), and using it some functions, e.g. map (this example was
> present in the paper) could be implemented to be both eager and lazy
> at the same time, depending on the arguments.
> Does anyone recognize this description?

No, but Felix does it by default

John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: