Why don't we use lazy lists in OCaml?

This point was discussed at length in the PR that introduced Seq into the standard library: Stdlib functional iterators by c-cube · Pull Request #1002 · ocaml/ocaml · GitHub. In short, it has worse space or time complexity than the definition using closures in certain situations.

Cheers,
Nicolas

2 Likes