This sounds similar to how Pony does things
Yup, though Pony takes it a bit further by introducing many different reference types/capabilities.
Thanks for sharing this! I really like the idea of reference counting with panic + single ownership, but I didn’t see that in the wild yet
A nice writeup, Inko is one of those things I’m keeping an eye on.
The idea of a mistake in borrowing semantics leading to a runtime panic gives me the heebie-jeebies. But it’s definitely an interesting and novel take on the problem, will be interesting to see how further work on this goes.
It’s like the segfault you get in C, but deterministic and maybe a backtrace, I guess.
The segfault you get if you’re lucky.