DIP69 - Implement scope for escape proof references
via Digitalmars-d
digitalmars-d at puremagic.com
Thu Dec 11 23:13:54 PST 2014
On Thursday, 11 December 2014 at 23:26:33 UTC, deadalnix wrote:
> I have no idea what you are saying. It sounds like randomly
> generated gibberish.
What is your problem?
Scope parameters are trying to address what Rust tried to do with
borrowing. To get an idea of where you are going you should look
at ordered linear and non-linear type systems.
Without a dynamic solution OR a proof system OR a way to provide
a manual guarantee you will hit the ceiling for what you can do,
which will be annoying for the user (programmer).
More information about the Digitalmars-d
mailing list