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