recursion - 如何在 Erlang 中编写递归函数？

Question

我正在尝试在 Erlang shell 中编写递归函数，但我不断收到未绑定(bind)变量异常:

1> Foo = fun(X) -> Foo(X) end.
* 1: variable 'Foo' is unbound

这可能是不言而喻的，但我并不是想创建一个无限循环!这只是我遇到的错误的一个简单示例。

Answer 1

自 OTP 17.0有命名的乐趣:

1> Perms = fun F([]) -> [[]]; F(L) -> [[H|T] || H <- L, T <- F(L--[H])] end.    
#Fun<erl_eval.30.54118792>
2> Perms([a,b,c]).
[[a,b,c],[a,c,b],[b,a,c],[b,c,a],[c,a,b],[c,b,a]]

在此之前，您可以通过一些论证技巧来做到这一点:

1> Foo = fun(F, X) -> F(F, X) end.
#Fun<erl_eval.12.113037538>
2> Foo(Foo, a).
<...infinite loop!>

这里的技巧是将函数作为参数发送给自身以允许递归。

一次拍摄的另一种方法:

1> Foo = fun(X) -> Fun = fun(F,Y) -> F(F,Y) end, Fun(Fun,X) end.
#Fun<erl_eval.6.13229925>
2> Foo(a).

例如:

1> Foo = fun(Max) ->
1>     Fun = fun(F, X) when X > Max -> [];
1>              (F, X) -> [X | F(F, X+1)]
1>           end,
1>     Fun(Fun, 0)
1> end.
#Fun<erl_eval.6.13229925>
2> Foo(10).
[0,1,2,3,4,5,6,7,8,9,10]