on Sun May 22 2016, Matthew Johnson <swift-evolution@swift.org> wrote:
> What I am arguing for is the ability to distinguish aggregates which > are logically isolated from aggregates which contain salient > references to shared mutable state. Everything with value semantics is logically isolated in that way. > To be honest, I am really struggling to understand why this > distinction seems unimportant to you. The non-exposure of shared mutable state is a hugely important property of well-encapsulated design. However, I don't believe it's appropriate to represent that with a protocol, because I don't believe there exist any generic components whose correctness depends on it. -- -Dave _______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution