Immutable and unique in C#

Timon Gehr timon.gehr at gmx.ch
Sat Nov 10 05:26:43 PST 2012


On 11/10/2012 12:23 PM, Sönke Ludwig wrote:
> 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.
>

Agreed. Do you file an enhancement request?


More information about the Digitalmars-d mailing list