Prototype of Ownership/Borrowing System for D

Manu turkeyman at gmail.com
Wed Nov 20 07:49:25 UTC 2019


On Wed, Nov 20, 2019 at 3:00 PM Walter Bright via Digitalmars-d
<digitalmars-d at puremagic.com> wrote:
>
> https://github.com/dlang/dmd/pull/10586
>
> It's entirely opt-in by adding the `@live` attribute on a function, and the
> implementation is pretty much contained in one module, so it doesn't disrupt the
> rest of the compiler.

I haven't read thoroughly yet, although I have been following along
the way and understand the goals... but I really can't not say
straight up that I think `@live` is very upsetting to me.
I hate to bike-shed, but at face value `@live` is a very unintuitive
name. It offers me no intuition what to expect, and I have at no point
along this process has any idea what it means or why you chose that
word, and I think that's an immediate ref flag.

Are you really certain there's no way to do this without adding yet
more attributes? It would be better if an attribute was not required
for this... we're already way overloaded in that department.
Timon appeared to have a competing proposal which didn't add an
attribute. I never saw your critique of his work, how do your relative
approaches compare?


More information about the Digitalmars-d mailing list