My Reference Safety System (DIP???)

[Zach the Mystic via Digitalmars-d]

On Friday, 27 February 2015 at 22:10:11 UTC, Marc Schütz wrote:
> I put my own version into the Wiki, building on yours:
> http://wiki.dlang.org/User:Schuetzm/scope2
>
> It's quite similar to what you propose (at least as far as I 
> understand it), and there are a few further user-facing 
> simplifications, and provisions for backward compatibility. I 
> intentionally kept it as concise as possible; there are neither 
> justifications for particular decisions, nor any implementation 
> details, nor examples. These can be added later.

I like this phrase: "Because all relevant information about 
lifetimes is contained in the function signature..." This keeps 
seeming more and more important to me. There's no other place 
functions can "talk" to each other -- and they *really* need to 
talk to each other for any of these advanced features to work 
well. I'm pretty sure it's really the function signature which 
needs designing -- what to add, what can be deduced (and 
therefore not added), and how to express them all elegantly and 
simply. And of course, my favorite Castle in the Sky: attribute 
inference!

I won't really know how your proposal works until I see code 
examples.

> For me, it's important to keep the implementation details and 
> algorithms separate from the basic workings. Otherwise it's 
> hard for me to fully understand it in all aspects.

Okay, but hopefully some examples are forthcoming, cause they 
help *me* think.