再帰の各ステップを出力する

Question

私は言語をテストするためにErlangシェルを使用しています.2つの方法で和関数を書いています：古典的な再帰的な和と末尾の再帰を使用します。第2のものは線形であることを意味し、第1のものは入力の大きさと共に成長する。

どのように再帰の各ステップを見ることができますか？各ステップで現在の値を印刷して、何が起きているのかをよりよく理解できるようにしたいと思います。ここで

は私の二つの機能です：

ノーマル再帰：

sum([]) -> 0; 
sum([H|T]) -> H + sum(T). 

末尾再帰：トレース：

tail_sum(List) -> tail_sum(List, 0). 
tail_sum([], Sum) -> Sum; 
tail_sum([H|T], Sum) -> tail_sum(T, H+Sum). 

Answer 1

Erlangでdbgモジュールは、このための便利な機能を提供します。ここでは、あなたのコードを想定し、これらの機能をトレースしたいどのようにモジュールaにされてい：

セットアップ：あなたは、モジュール内の任意の関数を呼び出すたび

1> c(a). % load a.erl 
{ok,a} 
2> dbg:tracer(). % start the default trace message receiver 
{ok,<0.71.0>} 
3> dbg:p(all, c). % setup call tracing on all processes 
{ok,[{matched,nonode@nohost,34}]} 
4> dbg:tpl(a, '_', '_', []). % trace all functions in a 
{ok,[{matched,nonode@nohost,5}]} 

は今、その名前と引数は、シェルで印刷されます。

5> a:sum(lists:seq(1, 10)). 
(<0.64.0>) call a:sum([1,2,3,4,5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([2,3,4,5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([3,4,5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([4,5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([6,7,8,9,10]) 
(<0.64.0>) call a:sum([7,8,9,10]) 
(<0.64.0>) call a:sum("\b\t\n") 
(<0.64.0>) call a:sum("\t\n") 
(<0.64.0>) call a:sum("\n") 
(<0.64.0>) call a:sum([]) 
55 
6> a:tail_sum(lists:seq(1, 10)). 
(<0.64.0>) call a:tail_sum([1,2,3,4,5,6,7,8,9,10]) 
(<0.64.0>) call a:tail_sum([1,2,3,4,5,6,7,8,9,10],0) 
(<0.64.0>) call a:tail_sum([2,3,4,5,6,7,8,9,10],1) 
(<0.64.0>) call a:tail_sum([3,4,5,6,7,8,9,10],3) 
(<0.64.0>) call a:tail_sum([4,5,6,7,8,9,10],6) 
(<0.64.0>) call a:tail_sum([5,6,7,8,9,10],10) 
(<0.64.0>) call a:tail_sum([6,7,8,9,10],15) 
(<0.64.0>) call a:tail_sum([7,8,9,10],21) 
(<0.64.0>) call a:tail_sum("\b\t\n",28) 
(<0.64.0>) call a:tail_sum("\t\n",36) 
(<0.64.0>) call a:tail_sum("\n",45) 
(<0.64.0>) call a:tail_sum([],55) 
55 

またreturn_trace()を返すマッチの仕様を使用して戻り値をログに記録するトレーサーを求めることができます。

7> dbg:tpl(a, '_', '_', [{'_',[],[{return_trace}]}]). 
(<0.64.0>) call a:module_info() 
{ok,[{matched,nonode@nohost,5},{saved,1}]} 
8> a:sum(lists:seq(1, 10)). 
(<0.64.0>) call a:sum([1,2,3,4,5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([2,3,4,5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([3,4,5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([4,5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([5,6,7,8,9,10]) 
(<0.64.0>) call a:sum([6,7,8,9,10]) 
(<0.64.0>) call a:sum([7,8,9,10]) 
(<0.64.0>) call a:sum("\b\t\n") 
(<0.64.0>) call a:sum("\t\n") 
(<0.64.0>) call a:sum("\n") 
(<0.64.0>) call a:sum([]) 
(<0.64.0>) returned from a:sum/1 -> 0 
(<0.64.0>) returned from a:sum/1 -> 10 
(<0.64.0>) returned from a:sum/1 -> 19 
(<0.64.0>) returned from a:sum/1 -> 27 
(<0.64.0>) returned from a:sum/1 -> 34 
(<0.64.0>) returned from a:sum/1 -> 40 
(<0.64.0>) returned from a:sum/1 -> 45 
(<0.64.0>) returned from a:sum/1 -> 49 
(<0.64.0>) returned from a:sum/1 -> 52 
(<0.64.0>) returned from a:sum/1 -> 54 
(<0.64.0>) returned from a:sum/1 -> 55 
55 
9> a:tail_sum(lists:seq(1, 10)). 
(<0.64.0>) call a:tail_sum([1,2,3,4,5,6,7,8,9,10]) 
(<0.64.0>) call a:tail_sum([1,2,3,4,5,6,7,8,9,10],0) 
(<0.64.0>) call a:tail_sum([2,3,4,5,6,7,8,9,10],1) 
(<0.64.0>) call a:tail_sum([3,4,5,6,7,8,9,10],3) 
(<0.64.0>) call a:tail_sum([4,5,6,7,8,9,10],6) 
(<0.64.0>) call a:tail_sum([5,6,7,8,9,10],10) 
(<0.64.0>) call a:tail_sum([6,7,8,9,10],15) 
(<0.64.0>) call a:tail_sum([7,8,9,10],21) 
(<0.64.0>) call a:tail_sum("\b\t\n",28) 
(<0.64.0>) call a:tail_sum("\t\n",36) 
(<0.64.0>) call a:tail_sum("\n",45) 
(<0.64.0>) call a:tail_sum([],55) 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/2 -> 55 
(<0.64.0>) returned from a:tail_sum/1 -> 55 
55