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