3 ms·
That's region-based memory management. ML guys tried it http://mlton.org/Regions http://mlton.org/Regions
by snaky 8y ago
That's region-based memory management. ML guys tried it http://mlton.org/Regions http://mlton.org/Regions
- ptx 8y agoLooks like they concluded that having the compiler automatically choose an appropriate region but silently leak the memory when that fails doesn't work well? Kind of like GC by reference-counting without a cycle collector. Couldn't the compiler just reject code that would need to allocate in the global region, unless the programmer explicitly annotates it to make it global? It says the SML type system is too weak for this, but perhaps Nim's type system is sufficient?