> That leaves one aspect of Haskell vs Ocaml I don't yet understand. > What are the advantages of lazy evaluation? I'd recommend this paper (once again): http://www.md.chalmers.se/~rjmh/Papers/whyfp.html One of the main points of the paper is that lazy evaluation enables a new way of modularizing code.