Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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,
snail:25/85c Wigram Rd, Glebe, NSW 2037, Australia.
voice:61-2-9660-0850. Checkout Felix:

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: