[Erlang 0050]用fun在Erlang Shell中编写尾递归

平时在Erlang Shell中写demo的时候,经常会用到fun , List Comprehensions 快速构造测试条件,能不创建代码文件就不创建.比如在[Erlang 0014]Erlang垃圾回收机制的时候,通过下面的方法来考察进程占用多少内存:

1> Fun= fun()-> receive after infinity -> ok end end.   %创建一个无限等待的Fun
#Fun<erl_eval.20.67289768>
2>  {_,Bytes}=process_info(spawn(Fun),memory).     %创建一个进程并查看其内存信息
{memory,1332}
3>   Bytes div erlang:system_info(wordsize).               %计算下这个进程占用多少字(word) 32系统为4 64位系统为8
333
4>

List Comprehensions的更是强大,官方文档:http://www.erlang.org/doc/programming_examples/list_comprehensions.html

另外列表解析可以在Erlang Shell中方便的实现for循环和if

12> [io:format("abc")|| _<-lists:seq(1,10)].
abcabcabcabcabcabcabcabcabcabc[ok,ok,ok,ok,ok,ok,ok,ok,ok,ok]
13> E=34.
34
14> [io:format("abc")|| E>35].
[]
15> [io:format("abc")|| E>32].
abc[ok]
16>

一个看看这个有意思的例子:[Erlang 0049] 哈哈,一起来打印三角形

快速创建ETS

Eshell V5.9  (abort with ^G)
1> ets:new(tab,[named_table]).
tab
2> [ets:insert(tab,{X,Y,Z}) || X<-lists:seq($0,$9),Y<-lists:seq($a,$z),Z<-lists:seq($A,$Z)].
[true,true,true,true,true,true,true,true,true,true,true,
true,true,true,true,true,true,true,true,true,true,true,true,
true,true,true,true,true,true|...]
3> ets:i(tab).
<1   > {55,122,90}
<2   > {52,122,90}
<3   > {49,122,90}
<4   > {50,122,90}
<5   > {56,122,90}
<6   > {54,122,90}
<7   > {51,122,90}
<8   > {48,122,90}
<9   > {57,122,90}
<10  > {53,122,90}
EOT  (q)uit (p)Digits (k)ill /Regexp -->

对于存在分支的语句很容易写出来类似于下面的语句:

1> Fun =fun(X)  when X rem 2==0 ->X; (X) -> X+1 end .
#Fun<erl_eval.6.13229925>
2> Fun(1).
2
3> Fun(2).
2
4> Fun(3).
4
5>

但是在Erlang Shell里面怎么写尾递归呢?思考的起点就从上面的代码开始

1>  Fun =fun(X)  when X rem 2==0 ->X; (X) -> X+1 end .
#Fun<erl_eval.6.13229925>
2>  F1 =fun(X)  when X rem 2==0 ->X; (X) -> (X+1) end .
#Fun<erl_eval.6.13229925>
3> F1(5).
6
4>  F2 =fun(X)  when X rem 2==0 ->X; (X) -> (X+7) end .
#Fun<erl_eval.6.13229925>
5> F2(5).
12

可以看到在一个参数的时候,上面的代码是可以的,啊哈,不错,那两个参数的情况是不是正常呢?

6> F3 = fun(X,Y) when Y<1000 ->io:format("~p,",[X+Y]), (Y,X+Y); (X,Y)-> done end.
* 1: syntax error before: ','
7> F3 = fun(X,Y) when Y<1000 ->io:format("~p,",[X+Y]), (Y,X+Y); (X,Y)-> done end.
* 1: syntax error before: ','
8> F1 =fun(X,Y) when X rem 2==0 ->{X,Y}; (X) -> (X+7,Y) end .
* 1: syntax error before: ','
7>

结果让人失望,会有语法错误,那没有参数的情况呢?

8> F5=fun() -> receive {echo,Msg} -> {received,Msg},() ; stop ->stop end end.
* 1: syntax error before: ')'

如果要达到我们的目标,要把尾递归要执行的当前方法作为参数传进去,几番折腾,终于搞出来了:

8>  F7 = fun(F,X,Y) when Y<1000 ->io:format("~p,",[X+Y]), F(F,Y,X+Y); (F,X,Y)->
done end.
#Fun<erl_eval.18.105910772>

马上写一个有意义的demo出来看看,输出一下斐波那契数列吧Fibonacci Sequence

1> Func = fun(F, X,Y) when Y<10000 ->io:format("~p,",[X+Y]), F(F,Y,X+Y); (F,X,Y)-> done end.
#Fun<erl_eval.18.105910772>
2> Func(Func,0,1).
1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,done
4>

注意实现尾递归调用的地方,以及调用的方法.

那么没有参数的情况也就水到渠成了:

12>  Fn= fun(F)-> receive {echo,Msg} -> io:format("~p received.~n",[Msg]),F(F);s
top-> stop end end.
#Fun<erl_eval.6.13229925>
13> P4=spawn(fun() -> Fn(Fn) end).
<0.48.0>
14> is_process_alive(P4).
true
15> P4!{echo,12}.
12 received.
{echo,12}
16> P4!{echo,hello }.
hello received.
{echo,hello}
17> is_process_alive(P4).
true
18>

yahooooooooo! 开心!!

回头再看

当问题解决之后,回头审视思考的过程,发现思考的起点定位在了在Erlang Shell中写尾递归,根据这个线索没有在搜索引擎中得到帮助信息.而本质上我要解决的问题是:使用fun实现尾递归 按照这个思路,我找到了同路人:

http://stackoverflow.com/questions/867418/how-do-you-write-a-fun-thats-recursive-in-erlang/867525

在着手解决问题之前,思考一下问题的本质,可以帮助我们更快的找到答案!