A couple days ago Graydon tweeted about https://twitter.com/graydon_pub/status/1337109479653961728?s=19.
I've only had a chance to read the abstract and skim bits and pieces. I don't know how general it really is, but I'm wondering if there might be some interesting mechanisms in here to leverage with Nim's functional APIs and Arc or Orc.
Mostly sharing and curious how research like this feeds into the core language/community.
Nim is cited pragraph 2.2
These “scoped life-time” reference counts are used by the C++ shared_ptr⟨T⟩(calling the destructor at the end of the scope), Rust’s Rc⟨T⟩(using the Drop trait), and Nim (using a finally block to call destroy) [48]. It is not required by the semantics, but Swift typically emits code like this as well [11].