On 7/19/2014 11:06 PM, bearophile wrote:
A @tailrec annotation seems good, and will improve the functional usages of D. It should stop compilation with a error if the function doesn't call itself or if the compiler is not able to remove the recursive call. This means it has to be fully enforced.
If you want to guarantee replacement of a recursive call with a loop, just write a loop.
