Рекурсия хвоста в принимающем блоке

Question

Я вижу функции, которые заключают в себе блок приема, называемый рекурсивно, по-видимому, не в положении хвоста по всему месту в примере кода эликсира. Например:

defmodule A do 
    def loop do 
    receive do 
     :ping -> 
     IO.puts "Received :ping" 
     loop # <- Tail position? 
     :pong -> 
     IO.puts "Received :pong" 
     loop # <- Also Tail position? 
     after 
     5000 -> 
      loop # <- Also Tail position? 
    end 
    loop # <- Also Tail position? 
    end 
end 

ли получить специальную конструкцию, которая оптимизирует для хвостовых позиций в конце всех блоков матча? Если это применимо, если блок приема имеет блок after? Что делать, если есть код после блока приема в функции?

Answer 1

В вашем примере только последний звонок loop является хвостом рекурсивным. Вместо того, чтобы делать рекурсивный вызов внутри блока receive, просто верните receive и просто используйте хвостовой рекурсивный вызов для цикла в конце уже существующей функции.

defmodule A do 
    def loop do 
    receive do 
     :ping -> 
     IO.puts "Received :ping" 
     :pong -> 
     IO.puts "Received :pong" 
     after 
     5000 -> 
      nil 
    end 
    loop 
    end 
end 

Как правило, циклы процесса всегда должны иметь ровно один рекурсивный вызов в конце функции loop. Это самый простой способ гарантировать бесконечный цикл процесса.

Однако, вы можете петли внутри receive блока, если это последнее утверждение в функции loop. Результат будет также рекурсивным. Это позволяет условно остановить цикл, основанный на принятом сообщении

defmodule A do 
    def loop do 
    receive do 
     :ping -> 
     IO.puts "Received :ping" 
     loop 
     :pong -> 
     IO.puts "Received :pong" 
     loop 
     :stop -> 
     IO.puts "Bye Bye" 
    end 
    end 
end 

Также см http://erlang.org/doc/efficiency_guide/processes.html#id69762