如何递归地在ES6中编写箭头函数?

时间:2014-08-10 12:01:47

标签: javascript recursion ecmascript-6 arrow-functions

ES6中的箭头函数没有arguments属性,因此arguments.callee不起作用,即使只使用匿名函数,也无法在严格模式下工作。

无法命名箭头函数,因此无法使用命名的函数表达式技巧。

那么......如何编写递归箭头函数?这是一个箭头函数,根据某些条件递归调用自身等等当然?

13 个答案:

答案 0 :(得分:24)

编写递归函数而不命名它是一个与计算机科学本身一样古老的问题(实际上,因为λ演算早于计算机科学),因为在λ演算所有函数中是匿名的,但你还需要递归。

解决方案是使用固定点组合器,通常是Y组合器。这看起来像这样:

(y => 
  y(
    givenFact => 
      n => 
        n < 2 ? 1 : n * givenFact(n-1)
  )(5)
)(le => 
  (f => 
    f(f)
  )(f => 
    le(x => (f(f))(x))
  )
);

这将递归地计算5的阶乘。

注意:代码很大程度上基于:The Y Combinator explained with JavaScript。所有功劳都归功于原作者。我大多只是“和谐”(你用ES / Harmony的新功能称之为重构旧代码吗?)它。

答案 1 :(得分:14)

Claus Reinke在esdiscuss.org website的讨论中回答了你的问题。

在ES6中,你必须定义他称之为递归组合的东西。

 let rec = (f)=> (..args)=> f( (..args)=>rec(f)(..args), ..args )

如果要调用递归箭头函数,则必须使用箭头函数作为参数调用递归组合子,箭头函数的第一个参数是递归函数,其余参数是参数。递归函数的名称没有重要性,因为它不会在递归组合器之外使用。然后,您可以调用匿名箭头功能。在这里,我们计算6的阶乘。

 rec( (f,n) => (n>1 ? n*f(n-1) : n) )(6)

如果你想在Firefox中测试它,你需要使用递归组合器的ES5转换:

function rec(f){ 
    return function(){
        return f.apply(this,[
                               function(){
                                  return rec(f).apply(this,arguments);
                                }
                            ].concat(Array.prototype.slice.call(arguments))
                      );
    }
}

答案 2 :(得分:9)

看起来您可以将箭头函数分配给变量并使用它来递归调用函数。

var complex = (a, b) => {
    if (a > b) {
        return a;
    } else {
        complex(a, b);
    }
};

答案 3 :(得分:6)

使用您为其分配功能的变量,例如

const fac = (n) => n>0 ? n*fac(n-1) : 1;

如果您确实需要匿名,请使用Y combinator,如下所示:

const Y = (f) => ((x)=>f((v)=>x(x)(v)))((x)=>f((v)=>x(x)(v)))
… Y((fac)=>(n)=> n>0 ? n*fac(n-1) : 1) …

ugly, isn't it?

答案 4 :(得分:5)

TL; DR:

const rec = f => f((...xs) => rec(f)(...xs));

这里有许多proper Y的变化形式的答案-但这有点多余...问题是,Y的通常解释方式是“如果没有递归怎么办”,所以Y本身不能指称自己。但是由于这里的目标是实用组合器,因此没有理由这样做。有this answer自己定义了rec,但是它很复杂并且有点丑陋,因为它添加了一个引数而不是使用currying。

简单的递归定义的Y是

const rec = f => f(rec(f));

但是由于JS并不懒惰,因此上面添加了必要的包装。

答案 5 :(得分:3)

用于任意数量参数的递归函数定义的通用组合器(不使用其自身内部的变量)将是:

const rec = (le => ((f => f(f))(f => (le((...x) => f(f)(...x))))));

这可用于定义阶乘:

const factorial = rec( fact => (n => n < 2 ? 1 : n * fact(n - 1)) );
//factorial(5): 120

或字符串反转:

const reverse = rec(
  rev => (
    (w, start) => typeof(start) === "string" 
                ? (!w ? start : rev(w.substring(1), w[0] + start)) 
                : rev(w, '')
  )
);
//reverse("olleh"): "hello"

或有序树遍历:

const inorder = rec(go => ((node, visit) => !!(node && [go(node.left, visit), visit(node), go(node.right, visit)])));

//inorder({left:{value:3},value:4,right:{value:5}}, function(n) {console.log(n.value)})
// calls console.log(3)
// calls console.log(4)
// calls console.log(5)
// returns true

答案 6 :(得分:2)

由于arguments.callee由于弃用/在严格模式下不起作用是一个不好的选择,并且做var func = () => {}之类的事情也很糟糕,这个答案中描述的hack可能是你唯一的选择:

javascript: recursive anonymous function?

答案 7 :(得分:1)

var rec = () => {rec()};
rec();

这是一种选择吗?

答案 8 :(得分:0)

您可以将您的功能分配给生活中的变量

var countdown = f=>(f=a=>{
  console.log(a)
  if(a>0) f(--a)
})()

countdown(3)

//3
//2
//1
//0

答案 9 :(得分:0)

这是此答案的一个版本,https://stackoverflow.com/a/3903334/689223,带有箭头功能。

您可以使用UY组合子。 Y组合器是最简单的。

U组合器,你必须继续传递函数: const U = f => f(f) U(selfFn => arg => selfFn(selfFn)('to infinity and beyond'))

Y组合者,你不必继续传递这个功能: const Y = gen => U(f => gen((...args) => f(f)(...args))) Y(selfFn => arg => selfFn('to infinity and beyond'))

答案 10 :(得分:0)

我发现提供的解决方案真的很复杂,老实说无法理解其中的任何一个,所以我自己想出了一个更简单的解决方案(我确定它已经知道了,但这里是我的思考过程):

所以你要做一个阶乘功能

x => x < 2 ? x : x * (???)

(???)是函数应该调用的地方,但由于你无法命名它,显而易见的解决办法是将它作为参数传递给自己 < / p>

f => x => x < 2 ? x : x * f(x-1)

但这不会奏效。因为当我们调用f(x-1)时我们自己调用这个函数,我们只是将它的参数定义为1)f:函数本身,再次和2){{1} } 价值。那么我们确实有函数本身,x还记得吗?所以先把它传递出去:

f

就是这样。我们刚刚创建了一个函数,将自己作为第一个参数,生成Factorial函数!只是将其传递给自己:

f => x => x < 2 ? x : x * f(f)(x-1)
                            ^ the new bit

不是写两次,而是可以创建另一个函数来将它传递给自己:

(f => x => x < 2 ? x : x * f(f)(x-1))(f => x => x < 2 ? x : x * f(f)(x-1))(5)
>120

并将你的阶乘制作功能传递给它:

y => y(y)

动臂。这是一个小公式:

(y => y(y))(f => x => x < 2 ? x : x * f(f)(x-1))(5)
>120

对于将数字从0添加到(y => y(y))(f => x => endCondition(x) ? default(x) : operation(x)(f(f)(nextStep(x)))) 的基本功能,x是您需要停止重复的时间,因此endConditionx => x == 0是您在符合default后提供的最后一个值,因此endConditionx => x只是您在每次递归时所做的操作,例如在Factorial中相乘或在Fibonacci中添加:operation。最后x1 => x2 => x1 + x2是传递给函数的下一个值,通常是当前值减一:nextStep。适用:

x => x - 1

答案 11 :(得分:0)

我认为最简单的解决方案是查看您唯一没有的东西,这是对函数本身的引用。因为如果有的话,那么挽回是微不足道的。

令人惊奇的是,通过高阶函数可以实现。

let generateTheNeededValue = (f, ...args) => f(f, ...args);

此函数名称不正确,它将生成我们需要的引用。现在我们只需要将此应用于我们的功能

(generateTheNeededValue)(ourFunction, ourFunctionArgs)

但是使用这个东西的问题是我们的函数定义需要期望一个非常特殊的第一个参数

let ourFunction = (me, ...ourArgs) => {...}

我喜欢将此特殊值称为“我”。现在每次需要递归时,我们都会这样做

me(me, ...argsOnRecursion);

所有这些。我们现在可以创建一个简单的阶乘函数。

((f, ...args) => f(f, ...args))((me, x) => {
  if(x < 2) {
    return 1;
  } else {
    return x * me(me, x - 1);
  }
}, 4)

-> 24

我也想看看这个的衬里

((f, ...args) => f(f, ...args))((me, x) => (x < 2) ? 1 : (x * me(me, x - 1)), 4)

答案 12 :(得分:0)

这里是递归函数js es6的例子。

 let filterGroups = [
     {name: 'Filter Group 1'}
 ];


 const generateGroupName = (nextNumber) => {
    let gN = `Filter Group ${nextNumber}`;
    let exists = filterGroups.find((g) => g.name === gN);
    return exists === undefined ? gN : generateGroupName(++nextNumber); // Important
 };


 let fg = generateGroupName(filterGroups.length);
 filterGroups.push({name: fg});