Subject: Re: self-hosting gc, narrowed From: Erik Naggum <erik@naggum.net> Date: Mon, 18 Mar 2002 18:28:28 GMT Newsgroups: comp.lang.lisp,comp.lang.scheme Message-ID: <3225464918898328@naggum.net> * 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.