For folks looking for a collector with a similar ideal (though with a potentially more useful constraint model), you might see the Pony language [1] collector [

For folks looking for a collector with a similar ideal (though with a potentially more useful constraint model), you might see the Pony language [1] collector [2]. The essence being to take advantage of some form of isolation in a concurrent system to dynamically infer something that looks like scoping/lifetimes. [1]: http://www.ponylang.org/ http://www.ponylang.org/ [2]: http://blog.acolyer.org/2016/02/18/ownership-and-reference-counting-based-garbage-collection-in-the-actor-world http://blog.acolyer.org/2016/02/18/ownership-and-reference-c...