如何用Erlang编写递归的函数?

jaql4c8m  于 2022-12-08  发布在  Erlang
关注(0)|答案(5)|浏览(176)

I'm trying to write a recursive fun in an Erlang shell, but I keep getting an unbound variable exception:

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

This probably goes without saying, but I'm not trying to create an infinite loop! This is just a simple example of the error I'm getting.

ar7v8xwq

ar7v8xwq1#

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

xyhw6mcr2#

Erlang 17之后,您还可以使用"Funs with names"变体:

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

这样就更容易理解F是定义中的函数本身,而且FooF可以是同一个变量。

zour9fqk

zour9fqk3#

或者,您可以使用Y组合子。Y Combinator in Erlang说明。

eblbsuwk

eblbsuwk4#

我需要通过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.
yacmzcpb

yacmzcpb5#

显然,Foo只有在定义了fun之后才被赋值,因此不能从fun内部访问它。
我不认为Erlang允许从它自己调用匿名函数,只要把它命名就可以了。

相关问题