[Aardappel]

Yup, I will write up the algorithm some time soon.

I've seen Swift's intentions to add lifetime analysis to ARC, but from what I could see it is much more complicated in Swift, requires annotations, and with significant runtime overhead remaining.

[steveklabnik]

Arc isn’t that stuff, Arc is what it already does today. “Automatic reference counting.”

[Aardappel]

I'm aware of that, I said "add lifetime analysis to ARC", as in, ARC is what I call regular runtime reference counting, and with lifetime analysis some of it can move to compile time.

[steveklabnik]

Yep oops, sorry.

Anyway, psyched to see more people experimenting with this kind of thing!

[Aardappel]

Yes, I frankly feel this design space is the future of memory management. GC, begone!

[alexisread]

http://concurrency.ch/Content/publications/Blaeser_Component...

This seems to scale out very well - it's kind of static GC analysis with RAII and erlang-style messaging.