DIP: Tail call optimization

[ketmar via Digitalmars-d-announce]

On Sunday, 10 July 2016 at 07:30:32 UTC, Dietrich Daroch wrote:
> If attributes look messy, pragma can be used.
>
> It may look as an addition with little gain, but one of the 
> reasons of compiling is to prevent runtime errors as early as 
> possible and this seeks exactly that.

then TCO should be added to language spec too. for now, compiler 
is not obliged to implement it. also, many implementations only 
implement TCO for functions with exactly same args -- is this 
something that should be speced, or not?

we already has one optimization case speced -- NRVO. and it is 
BAD. adding another implementation detail to the spec will only 
worsen the situation, i believe.