Am 09.11.2012 18:45, schrieb Kagamin: > :) do they implement `inout`? Haven't seen it, yet ;)
But seriously, they go a lot further with their `isolated` type qualifier. That together with their functions, which are basically weakly pure, opens up a lot of new opportunities for statically verified code without casting around all the time or bending the code structure so much that it hurts. The article is quick to read in it's core and _really_ anyone interested in D's development should read it. This pretty much what we have + the bits that are currently missing (especially concerning objects in the immutable/shared world). It fits perfectly with what's already there, it's proven to be sound and practical, and IMO it's definitely what should be implemented in D.