borrowed pointers vs ref
Walter Bright via Digitalmars-d
digitalmars-d at puremagic.com
Fri May 16 11:57:36 PDT 2014
On 5/16/2014 10:33 AM, Dicebot wrote:
> On Friday, 16 May 2014 at 17:22:21 UTC, Walter Bright wrote:
>> On 5/16/2014 9:43 AM, Dicebot wrote:
>>> Transitive
>>> borrowing solves certain class of issues that currently rely on convention,
>>> enabling whole new type of verified safe code (both memory safe and concurrency
>>> safe). Head-only? Doesn't look so.
>>
>> I'm concerned that transitive borrowing will *preclude* a number of useful cases.
>
> Which is why `ref` itself can't be used for that and usage of `scope` as
> qualifier is necessary to enable transitive behavior :)
True, but there comes a point where something gets complicated enough that
nobody understands it and the implementation gets full of bugs.
More information about the Digitalmars-d
mailing list