There is an interesting - but very readable! - academic paper that is kinda related: "The Transactional Memory / Garbage Collection Analogy": https://homes.cs.w

There is an interesting - but very readable! - academic paper that is kinda related: "The Transactional Memory / Garbage Collection Analogy": https://homes.cs.washington.edu/~djg/papers/analogy_oopsla07.pdf https://homes.cs.washington.edu/~djg/papers/analogy_oopsla07... I say "kinda" related because even TM is a lower-level thing than the author of this post is talking about. The treatment of the subject, however, is much more in-depth. Lambda the Ultimate discussion: http://lambda-the-ultimate.org/node/2990 http://lambda-the-ultimate.org/node/2990