Hi.
I'm looking for references about the "eager vs. lazy" issue in functional 
languages. 
I undertand that eager languages map more directly to (strict) math 
functions, so formal proof of things is easier. I've also read that lazy 
evaluation is a key issue for code reuse ("Why functional programming 
matters - John Hughes). He mentions "the present controversy over lazy 
evaluation". The paper is more than 10 years old, so I guess that 
something has happened in between.
I'm also interested in the design issues that drove Ocaml to be eager. 
Thank you.

Enrique Vetere
enrique.vetere@mclees.com.ar
McLees S.A.
http://www.mclees.com.ar