More radical ideas about gc and reference counting

[Timon Gehr via Digitalmars-d]

On 05/14/2014 06:41 PM, Wyatt wrote:
>
>> To me, shared is a type modifier that doesn't implicitely convert to
>> anything else without casting.
>
> Interesting, maybe this should be clarified better.  Having skimmed back
> over chapter 13 of TDPL, my understanding of its semantics are that it
> only really enforces atomicity and execution order.  Also, this bit from
> near the beginning of 13.12 states:
> "For all numeric types and function pointers, shared-qualified values
> are convertible implicitly to and from unqualified values."
>
> That sounds kind of at-odds with your interpretation...? :/

Not too much. Those are trivial cases (one copies the entire qualified 
data, so obviously one is free to change qualifiers as one wishes).