Я пытаюсь написать рекурсивную забаву в оболочке Erlang, но я продолжаю получать исключение из несвязанной переменной:
1> Foo = fun(X) -> Foo(X) end.
* 1: variable 'Foo' is unbound
Это, наверное, само собой разумеется, но я не пытаюсь создать бесконечный цикл! Это простой пример ошибки, которую я получаю.
Вы можете сделать это с помощью небольшого аргумента:
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 названы забавы, что облегчает задачу:
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]]
В качестве альтернативы вы можете использовать Y combinator. Y Combinator в Erlang объясняет.
После Erlang 17 вы также можете использовать вариант "Развлечения с именами" :
Foo = fun F(X) -> F(X) end.
Таким образом, легче понять, что F является самой функцией внутри определения. Кроме того, Foo и F могут быть одной и той же переменной.
Мне нужно было быстро отправить некоторые пакеты через 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.
Очевидно, что Foo присваивается только после того, как определено fun, поэтому он не может быть доступен изнутри.
Я не думаю, что Erlang позволяет вызывать анонимную функцию от себя. Просто сделайте его именованным.