From ... Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!news.worldonline.be!nmaster.kpnqwest.net!nreader1.kpnqwest.net.POSTED!not-for-mail Newsgroups: comp.lang.lisp,comp.lang.scheme Subject: Re: self-hosting gc, narrowed References: <87y9h24r1u.fsf@becket.becket.net> <87d6yee8wm.fsf@becket.becket.net> <876644n9h7.fsf@becket.becket.net> <87r8msrrlg.fsf@becket.becket.net> <874rjorow1.fsf@becket.becket.net> <1015951557.117969@haldjas.folklore.ee> <878z8xn17o.fsf@becket.becket.net> <87663xwowy.fsf@photino.sid.rice.edu> <87it7uzpdh.fsf@photino.sid.rice.edu> <3C959776.62CB10@quiotix.com> <3225433349116418@naggum.net> <3225443989971530@naggum.net> <87ofhlaipx.fsf@becket.becket.net> Mail-Copies-To: never From: Erik Naggum Message-ID: <3225464918898328@naggum.net> Organization: Naggum Software, Oslo, Norway Lines: 24 User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 18 Mar 2002 18:28:28 GMT X-Complaints-To: newsmaster@KPNQwest.no X-Trace: nreader1.kpnqwest.net 1016476108 193.71.199.50 (Mon, 18 Mar 2002 19:28:28 MET) NNTP-Posting-Date: Mon, 18 Mar 2002 19:28:28 MET Xref: archiver1.google.com comp.lang.lisp:29417 comp.lang.scheme:9453 * Thomas Bushnell, BSG | I think Matthias' point is that in a statically typed language, you | don't need to detect types at runtime, or something like that. | (Except in GC, where the costs you point out are not so severe.) | | At least, that's what I took Matthias to be saying. Let me repeat what I actually wrote: However, this approach seems to me to work well only if you do not use the type information all the time which I think any reasonably smart reader would understand implied that (1) I had already figured out that it works best for statically typed languages that do little dynamic typing, and (2) wondered about the design in a language that did have dynamic typing, where is also used. So what was Matthias saying? Nothing. One does not need to post an article to say nothing. Posting an article to say nothing is rude. /// -- In a fight against something, the fight has value, victory has none. In a fight for something, the fight is a loss, victory merely relief.