Transitioning to a type aware Garbage Collector

[kris]

Walter Bright wrote:
> Andrei Alexandrescu (See Website For Email) wrote:
> 
>> Sounds great. Any possibility to type memory post factum (useful in 
>> e.g. implementing allocators)? That is, allocate memory as void[] and 
>> then mark it to be of type Foo.
> 
> 
> Looks like that will have to be implemented.

Tango could certainly use this in its IO-Protocol layer