在Javascript中，为什么我不能用f（f）代替x => f（f）（x）？

我试图在Javascript中实现Y组合器。在Javascript中，为什么我不能用f（f）代替x => f（f）（x）？

我设法执行下列规定：

const y0 = gen => (f => f(f))(f => gen(x => f(f)(x))); 
const factorial0 = y0(fact => n => n<=2 ? n : n * fact(n-1)); 
console.log(factorial0(5)); 
// 120

它运作良好。

然后我正在考虑表达式x => f(f)(x)。

我的理解是，表达式x => g(x)等于g。将y应用于x => g(x)评估为g(y)，同时将y应用于g也评估为g(y)。

所以我用f(f)替换了x => f(f)(x)。

const y = gen => (f => f(f))(f => gen(f(f))); 
const factorial = y(fact => n => n<=2 ? n : n * fact(n-1)); 
console.log(factorial(5)); 
// RangeError: Maximum call stack size exceeded

但是这个版本崩溃了堆栈溢出。

那么x => f(f)(x)和f(f)之间的区别是什么，这样一个工程和其他崩溃。

来源

2017-02-25 Florian F

因为严格评估。 – Bergi

@Bergi三个字 - 我把它称为一个懒惰的解释：D – ftor

我认为正在发生的是那两个表达式不完全相同。

一方面x => f(f)(x) - 这将创建一个新的函数文本（所以它不会被调用的时候了 - 它被调用，只有当这个函数被调用）

在另一方面f(f) - 这在Javascript中是一个表达式调用f函数。所以你的情况会导致堆栈溢出。

来源

2017-02-25 15:48:21

或换句话说，'x => f（f）（x）'是f（f）'的懒惰版本。由于Javascript是严格评估的，我们必须将'f（f）'这样的模式包装到lambda中以避免无限递归。 – ftor

我认为这是问题的关键。表达式x => f（f）（x）延迟f（f）的评估直到提供x。 –

好

x => f(f)(x)

是采取一个参数，x功能。当函数被调用时，它又调用函数f，将参考传递给f作为参数。函数f返回另一个函数，然后调用该函数，并将x作为参数传递。

在老派的语法，这是

function(x) { 
    return f(f)(x); 
}

这不仅仅是f(f)本身显著不同。这只是函数“f”的调用，而“f”作为参数传递。

因此x => f(f)(x)和f(f)都是表达式，但它们表示明显不同的语义。第一个值是对函数的引用;表达式本身不做其他任何事情 —特别是，不调用函数f()。 f(f)的值是什么函数f()当被调用时返回—表达式确实是做些什么，那是什么函数f()。

来源

2017-02-25 15:45:14 Pointy

在Javascript中，为什么我不能用f（f）代替x => f（f）（x）？

回答

相关问题