Pitch #2: Protocol-based Actor Isolation

[cukr]

@wowbagger

It seems like the reference semantics in a value type composed of value-semantic types comes from static variables and side-effects in computed properties/functions.

Why does it matter where it comes from? It's called ValueSemantic, not ValueImplementation :)

@wowbagger

But then, one can argue that there isn't much value semantics in Swift. And the truly value-semantic types can be easily extended with static variables, computed properties, or functions to make them reference-semantic.

Yep! That's why I think reference/value split is more about how you use a thing, not the type of it.