&gt; in Haskell the hard earned wisdom is that laziness should probably have been opt-in like OCaml<p>is it? I am no haskeller, but I think I have seen some presentations or read papers in which lazyness by default was mentioned as something that haskell got right.<p>Do you have some links to read up on what you say?