Erlang受信と適切な呼び出し構造

Question

以下はerlangで実行でき、メモリヒープの問題によりクラッシュを生成できませんか？

loop() -> 
    receive 
     {drop, X} -> drop(X); 
     X -> handle(X) 
    end. 

handle(X) -> 
    case X of 
    ok -> loop() 
    end. 

drop(X) -> 
    case X of 
    ok -> loop() 
    end. 

Answer 1

それは試してみて、何が起こるか見ることは簡単です：

-module(loop). 
-compile(export_all). 
loop() -> 
    receive 
     {drop, X} -> drop(X); 
    after 1000 -> 
     erlang:display(catch erlang:error(noes)), 
     drop(ok) 
    end. 

drop(X) -> 
    case X of 
    ok -> loop() 
    end. 

あなたがループを実行した場合：ループを（）あなたはそれがInfactはスタックを成長しないことがわかります。を追加すると、drop（ok）またはloop（）の呼び出しの後に1が表示されます。

したがって、コンパイラは、それが再帰的テールコールではないにもかかわらず、テールコールであり、最適化していることを認識します。

Answer 2

書き込まれた関数はテール再帰的ではないため、私の勘ぐとは思いません。