Sharing in D

[Walter Bright]

Craig Black wrote:
> If I understand it correctly, then you are going down the right path with 
> this stuff.  IMO, the ultimate goal is a programming language that is 
> thread-safe by default, just as a GC language is memory-safe by default.

You aren't the first to note the analogy to GC!

> I sounds like you may need to flesh things out quite a bit to attain a 
> comprehensive solution for thread safety.  Keep in mind, there should always 
> be ways to subvert safety when necessary for performance.

Of course - casting a shared type to unshared means subverting any 
compiler guarantees, just like when const is cast away.