Subject: Re: self-hosting gc, narrowed
From: Erik Naggum <>
Date: Mon, 18 Mar 2002 18:28:28 GMT
Newsgroups: comp.lang.lisp,comp.lang.scheme
Message-ID: <>

* 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.