7 ms·
E.g. Scala provides such an annotation, but that is implemented by rewriting the recursive method to a non-recursive method with a loop.
by funcDropShadow 4y ago
E.g. Scala provides such an annotation, but that is implemented by rewriting the recursive method to a non-recursive method with a loop.
- anamexis 4y agoIsn't that kinda how all TCO works?
- pjmlp 4y agoFirst level TCO yes, however the annotation way doesn't work for mutually recursive calls.
- jwesleyharding 4y agoto clarity just a tad, the Scala compiler does TCO out of the box and the annotation is added only to check that the method is in fact so optimizable
- pjmlp 4y agoUnless something changed since 2.0.9 (last time I did anything relevant in Scala), only one level, it isn't clever enough to rewrite mutually recursive calls. This is rather important, specially when coming from languages like Scheme that have TCO as part of the language specification compliance.