On Tue, 2003-11-18 at 01:19, Damien Doligez wrote:
> On Friday, November 14, 2003, at 03:57 PM, Christophe Raffalli wrote:

> In my opinion, doing it automatically would only encourage sloppy
> programming by hiding errors in a non-deterministic way.

Perhaps. But we *want* to encourage a closely related kind:
the lazy programmer. Lazy is good. It's what machines are *for*.

I do agree with you but the distinction is subtle.


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners