On: OCaml Briefly

[chriswarbo]

Well, the motivation was to be pure. Non-strictness removed the temptation to extend the language in non-pure ways, either intensionally or accidentally, for the sake of convenience.

[dllthomas → chriswarbo]

You're right, of course. Though if they had cheated, the result probably would have been less interesting.