[gclist] Re: Mark don't sweep

[Ken Anderson]

  This is a good convention to prevent loops. It belongs in a meta object
  protocol not the language. I hope you look at CLOS it might prevent
  your building a language.
   
I don't see how CLOS relates to this discussion?

  Partial evaluation allows you to run parts of your program at compile
  time. This improves the complexity of what you can put in the Meta
  Object Protocol. For example with your HAS-A and REFERS-TO conventions.
  In a partial evaluator if the type info required to make such distinctions
  are available at compile time they will run at compile time.
  
  I regard compile time type systems as partial evaluation of the type
  information of the program. 

Yes.  I've been thinking about compiling metaobjects protocols as partial
evaluation, since the metaclasses are known.

k