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 _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
