Performant&mem-safe concurrent data sharing often requires something like Pony's "capabilities" notion, but usually specified via comments.
Conversation
Replying to
really digging it. Wondering why they didn't separate read + write caps, seems like it would make the cap alg more explicit
1
Maybe has to do with Viewpoint Adaption: tutorial.ponylang.org/capabilities/c
but that's one of the shakier concepts for me rn
1
Show replies