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).
