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