I think maybe you're misunderstanding the point of this thread; it really has nothing to do with ActorSendable
. We're trying to understand the set of promises that should be given by a protocol called ValueSemantic
. We have an intuitive idea of what that should mean, which has proven useful for informally reasoning about programs. We're trying to formalize that intuitive idea enough to make it rigorously applicable.
2 Likes