[bitc-dev] Pools in lieu of GC

[Sandro Magi]

Rodrigo Kumpera wrote:
> Tagless collectors have been built to dialets of ML, but none worked in face
> of dynamic type loading.
>   

I don't see the fundamental problem tagless collection has with type 
loading. The CLR has enough information to perform tagless GC, and F# is 
an ML that runs on the CLR.

> Anyway, collectors for imperative systems do require information on stack
> frames and object layout.
>
> Maybe I should have told you before that my target are VMs for imperative
> systems, such as the CLR.

There is no fundamental difference between functional and imperative 
VMs. You can do without stack and object layouts in both. In fact, most 
functional languages do not use object layouts, that's the primary realm 
of object-oriented VMs.

Sandro