Reference Counting with Linear Types

Reference Counting with Linear Types.
TLDR; I’ve published a release candidate for a linearly-typed reference-counting library today. I would very much appreciate it if anyone interested could comment on the design/API and possibly reason about the soundness bugs that I believe are lurking. You’re welcome to try it and see what you can do with it, but I would not yet recommend it for any sort of production use just yet :stuck_out_tongue:. reference-counting: A reference counting library to alias linear resources Hey all, a few mon…

Read in full here:

This thread was posted by one of our members via one of our news source trackers.