3 ms·
To What Degree Is It Possible to Do Memory Management at Compile Time?
Memory management is usually offloaded to runtime (tracing GC / Reference Counting) except those variables which can be stack allocated by escape analysis.
While rust claims to eliminate it, it still needs a lots of care around lifetimes, scope etc... It however brings some good concepts to the table.
apart from rust, I have found some papers on mercury logic programming language, cyclone etc..
Can I get references / links to previous work on compile time memory management (partial or full)?
- olodus 7y agoRust uses something like uniqueness types to ensure memory management is correct, but there are also linear types and I know it has been research on that in Haskell for example. Search for Hask-LL.