From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
Subject: Re: [9fans] GUI toolkit for Plan 9
From: forsyth@caldo.demon.co.uk
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Message-Id: <20020226210845.70A1919A90@mail.cse.psu.edu>
Date: Tue, 26 Feb 2002 21:05:37 +0000
Topicbox-Message-UUID: 57693d5c-eaca-11e9-9e20-41e7f4b1d025

> Your concern reminds me of people who are scared of garbage collection
> because they think it will have a bug and free live memory.  

this seems to me to ignore the complexity of both theory and code in
the two cases; i'd have said they were significantly different by
inspection.

for instance, i might well consider working hard to prove (formally or informally)
the bulk of a garbage collector; for non-trivial language i don't
think i'd attempt more than proving correct (or arguing the correctness of)
some of the theoretical foundations and abstract algorithms of an
optimising compiler.