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.
