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 (09:52)
From: Tom <tom.primozic@g...>
Subject: Help me find this pdf
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

Does anyone recognize this description?

 - Tom