To What Degree Is It Possible to Do Memory Management at Compile Time?

3 pointsby iteratorloopmap7 lat temu1 comments

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)?

1 comments

olodus7 lat temu

Rust 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.