Immutable and unique in C#

Sönke Ludwig sludwig at outerproduct.org
Sat Nov 10 03:23:54 PST 2012


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.



More information about the Digitalmars-d mailing list