]> On Thu, 2003-11-20 at 17:35, Matt Gushee wrote: > But I get worried when I see the quest for program > correctness take on a religious tinge, as it sometimes appears to on > this list. So I thought it was time to play Devil's Advocate. My turn to beg to differ. I won't give any rationale, or advocate anything .. lets just say I'm a member of WG21 (the C++ ISO Standardisation committee) and they have a mailing list too... I won't even give any quotes .. I'm sure you can use your imagination .. I find the tinge of religion of strong typing, proofs of correctness, concepts of abstract backed by mathematics .. a welcome relief :-) [Father Xavier, forgive me, for I have sinned, today I wrote 3 lines of C++ ..] -- John Max Skaller, mailto:skaller@ozemail.com.au snail:25/85c Wigram Rd, Glebe, NSW 2037, Australia. voice:61-2-9660-0850. Checkout Felix: http://felix.sf.net ------------------- 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