为什么没有JavaScript引擎支持尾调用优化？

Question

为什么没有JavaScript引擎支持尾调用优化？

javascriptrecursiontail-recursiontail-call-optimization

6

我最近学习了Haskell中的尾调用优化。我从以下帖子中了解到这不是JavaScript的一个特性：

难道JavaScript的设计内在特点使得尾调用优化特别困难吗？为什么像Haskell这样的语言将其作为主要特性，而只有现在某些JavaScript引擎正在讨论其作为特性？

- asloan

2

我认为ES6会提供它。 - ErikR

是的，我相信你是正确的。我更好奇的是为什么它现在才被添加为一个功能？ - asloan

1

请查看这篇文章，了解尾调用优化的困难之处。是的，在 ES6 中一定会实现它。 - Mike Cluck

3

巨大的区别在于，在Haskell中，TCO是必要的，而在其他语言中，它只是一个特性，会增加编译器的复杂性。 - Bergi

此外，大量递归也会遇到默认情况下非常小的调用堆栈限制。我认为 JS（截至 ES5）过去并不是主要针对递归设计的。 - TaoPR

显示剩余2条评论

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Benjamin Gruenbaum · Accepted Answer

Tail call优化在JavaScript中得到支持。目前还没有浏览器实现该功能，但随着规范（ES2015）的最终确定和所有环境都必须实现该功能。像BabelJS这样的转译器已经支持将新的JavaScript转换为旧的JavaScript，并且您今天就可以使用它。

Babel所做的翻译非常简单：

function tcoMe(x){
    if(x === 0) return x;
    return tcoMe(x-1)
}

被转换为：

function tcoMe(_x) {
    var _again = true;

    _function: while (_again) {
        var x = _x;
        _again = false;

        if (x === 0) return x;
        _x = x - 1;
        _again = true;
        continue _function;
    }
}

那就是——使用while循环。

至于为什么只有最近才支持这个功能，因为社区之前没有太大的需求。由于JavaScript是一种带有循环语句的命令式语言，所以在绝大多数情况下，您可以自己编写此优化（这与ML不同，在ML中，这是必需的，正如Bergi所指出的那样）。