Reference counting, except you distinguish between thawed (i.e. mutable) data, which you can only have a single reference to, and frozen data, which can have multiple references. And frozen data cannot reference thawed data.
12
5
34
Conversation
Arc::make_mut is pretty close!
1
3
Yeah, this is what I thought of… sidenote: have always wondered how it relates to the stuff in Lean 4 and Koka…
Quote Tweet
Replying to @typeswitch
Sounds much like (an imperative view of) arxiv.org/abs/1908.05647