DIP1000: Scoped Pointers (Discussion)

[Timon Gehr via Digitalmars-d]

On 10.08.2016 22:36, Dicebot wrote:
> http://forum.dlang.org/post/pqsiqmkxenrwxoruzaml@forum.dlang.org
>
> The first DIP has just landed into the new queue. It is a proposal from
> language authors and thus it bypasses usual nitpicking process and
> proceeds straight to requesting community (your!) feedback.
>
> Essentially, it is an attempt to solve reference lifetime problem by
> extending implementation of `scope` keyword.
>
> Proposal text: https://github.com/dlang/DIPs/blob/master/DIPs/DIP1000.md

This proposes to add a kind of information the type system is supposed 
to track (lifetimes), which cannot be communicated losslessly across 
function and aggregate boundaries. Hence it won't work well in its 
current form.