[gclist] Collector in language definition.

[fjh@cs.mu.OZ.AU]

Charles Fiterman wrote:
> 
> There is a very powerful reason for having
> Garbage Collection implied by a language
> definition. It is required for a type safe
> language.
[...]
> Type safe languages can have functional and
> class composition and all sorts of powerful
> things that wouldn't go in unsafe languages.

What exactly are "functional and class composition", and why
couldn't you put them in an unsafe language?

-- 
Fergus Henderson <fjh@cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3         |     -- the last words of T. S. Garp.