Question

我正在尝试在Erlang shell中编写递归乐趣，但我一直收到一个未绑定的变量异常：

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

这可能不言而喻，但我并不想创造一个无限循环！这只是我得到的错误的一个简单例子。

Answer 1

你可以用一点论证来做到这一点：

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]

自OTP 17.0以来，有一些名为funs的东西使得任务变得更容易：

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]]

Answer 2

在Erlang 17之后，您还可以使用"Funs with names"变体：

Foo = fun F(X) -> F(X) end.

通过这种方式，更容易理解F是定义中的函数本身。此外，Foo和F可以是同一个变量。

Answer 3

或者，您可以使用Y组合子。 Y Combinator in Erlang解释道。

Answer 4

我需要通过UDP快速发送一些数据包进行测试，以下是我使用上述示例完成的方法：

Sendtimes = fun F(0,Socket) -> ok;
        F(Times,Socket) -> gen_udp:send(Socket, {127,0,0,1}, 5555, ["Message #:" ++ [Times]]),
        F(Times-1,Socket) end.

Answer 5

显然，只有在定义了乐趣后才会分配Foo，因此可能无法从内部访问它。

我不认为Erlang允许从自己调用匿名函数。只需将其命名为。

你如何写一个在Erlang中递归的乐趣？

5 个答案: