English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Re: [Caml-list] GC and file descriptors
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-11-21 (17:45)
From: skaller <skaller@o...>
Subject: Re: [Caml-list] GC and file descriptors
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