Am 11.01.2014 22:20, schrieb Benjamin Thaut:
Also without percise pointer discovery you will never be able to move objects from one heap into another. This would be especially a problem for the immutable heap, because you might want to allocate all strings on the thread local heap until you discover that you actually need them to be shared between threads.
The language can help a lot there (pure... and scope, if "fixed"), so that the compiler can emit the necessary calls to make this explicit, because it already knows that it's safe without performing a garbage collection cycle.
