DIP1000: Scoped Pointers (Discussion)

[Walter Bright via Digitalmars-d]

On 8/12/2016 12:45 PM, Timon Gehr wrote:
> Assuming all the soundness issues are fixed, I think the general scheme it is
> not expressive enough.

Possibly true, but general expressivity comes at a large cost in complexity and 
difficulty for users.


> E.g. it does not allow lazy range algorithms from
> std.algorithm and std.range to be used on a slice of stack-allocated data.

If that does turn out to be a problem, lazy algorithms can detect it (because 
they won't compile) and use an eager version for such cases.