scope escaping

[Paulo Pinto]

Am 06.02.2014 21:29, schrieb Adam D. Ruppe:
> On Thursday, 6 February 2014 at 19:24:19 UTC, Elie Morisse wrote:
>> How about letting the compiler decide what's best in the default case?
>
> The problem there is the compiler would have to look at the big picture
> to make an informed decision, and big picture decisions are generally
> hard to implement.
>
> Determining whether it is GC or not automatically would require analysis
> of the function body, tracing where each reference ends up, and looking
> at other functions it gets passed to (which might not be possible if you
> have only the prototype without a body). Things like pure can help with
> it, but generally, I don't think the compiler can make a smart decision.

Java and Go compilers do it, why not D ones?

--
Paulo