练习重点
列表解析和高阶函数是erlang的基本用法之一，熟练掌握还是很有必要的。
作为一个阶段的学习总结，按照书上的一个练习题，尝试实现列表模块中的一些方法。
后续学习计划
再找时间总结一下位匹配用法，然后就开始客户端服务器编程模型，
网络和分布式方面的内容。
相关内容虽然都看过一下，但是没有敲过代码，感觉心里没底。还是那个硬道理：纸上得来终觉浅呀。
简单的测试用例
作为另外一个章节的内容，单元测试。我顺便实践一下erlang的单元测试框架eunit，
里边使用了宏来作为assert语句(使用eclipse插件可以有很好的提示)，
总的来说，xunit的基本风格都差不多，注意import eunit的包，方法名采用_test结束。
执行的时候调用模块的test方法就可以了。我简单写了一些测试用例:
- module ( myliststest ).
- include_lib ( "eunit/include/eunit.hrl" ).
- import_all ( mylists ).
%% EUnit TestCase
%% all/2
all_empty_test () ->
? assert ( mylists : all ( fun ( E ) -> E > 10 end , [])).
all_test () ->
? assertNot ( mylists : all ( fun ( E ) -> E > 10 end , [ 11 , 12 , 10 ])).
%% any/2
any_empty_test () ->
? assertNot ( mylists : any ( fun ( E ) -> E > 10 end , [])).
any_test () ->
? assert ( mylists : any ( fun ( E ) -> E > 10 end , [ 11 , 12 , 10 ])).
%% append/1
append_1_test () ->
? assertEqual ([ 1 , 2 , 3 , a , b , 4 , 5 , 6 ], mylists : append ([[ 1 , 2 , 3 ], [ a , b ], [ 4 , 5 , 6 ]])).
%% append/2
append_2_test () ->
? assertEqual ( "abcdef" , mylists : append ( "abc" , "def" )).
%% delete/2
delete_test () ->
? assertEqual ([ 1 , 2 , 4 ], mylists : delete ( 3 , [ 1 , 2 , 3 , 4 ])).
%% dropwhile/2
dropwhile_test () ->
? assertEqual ([ 1 , 2 ], mylists : dropwhile ( fun ( E ) -> E >= 3 end , [ 1 , 2 , 3 , 4 ])).
%% duplicate/2
duplicate_test () ->
? assertEqual ([ x , x ], mylists : duplicate ( 2 , x )).
%% filter/2
filter_test () ->
? assertEqual ([ 3 , 4 ], mylists : filter ( fun ( E ) -> E >= 3 end , [ 1 , 2 , 3 , 4 ])).
%% reverse/1
reverse_test () ->
? assertEqual ([ 4 , 3 , 2 , 1 ], mylists : reverse ([ 1 , 2 , 3 , 4 ])).
%% min/1
min_test () ->
? assertEqual ( 2 , mylists : min ([ 3 , 4 , 2 , 5 ])).
%% zip/2
zip_2_test () ->
? assertEqual ([{ 1 , 3 },{ 2 , 4 }], mylists : zip ([ 1 , 2 ], [ 3 , 4 , 5 ])).
%% zip/3
zip_3_test () ->
? assertEqual ([{ 1 , 3 , 5 },{ 2 , 4 , 7 }], mylists : zip3 ([ 1 , 2 ], [ 3 , 4 , 5 ], [ 5 , 7 ])).
%% zipwith/3
zipwith_test () ->
? assertEqual ([ 5 , 7 , 9 ], mylists : zipwith ( fun ( X , Y ) -> X + Y end , [ 1 , 2 , 3 ], [ 4 , 5 , 6 ])).
%% zipwith/4
zipwith3_test () ->
? assertEqual ([[ a , x , 1 ],[ b , y , 2 ],[ c , z , 3 ]], mylists : zipwith3 ( fun ( X , Y , Z ) -> [ X , Y , Z ] end , [ a , b , c ], [ x , y , z ], [ 1 , 2 , 3 ])). 示例代码
根据上面的测试用例，我写了实现代码，如下所示。注意的时候，我偷懒使用了export_all,
但是min/2好像默认有一个已经被引入了，所以需要去除这个模块。就export_all本身来说，
也不是推荐方式，还是应该严格区分public api和local api。
- module ( mylists ).
- compile ( export_all ).
- compile ({ no_auto_import ,[ min / 2 ]}).
%% all/2
all (_ P , []) ->
true ;
all ( P , [ H | T ]) ->
case P ( H ) of
true -> all ( P , T );
false -> false
end .
%% any/2
any (_ P , []) ->
false ;
any ( P , [ H | T ]) ->
case P ( H ) of
true -> true ;
false -> any ( P , T )
end .
%% append/1
append ( LL ) ->
[ X || L <- LL , X <- L ].
%% append/2
append ( LA , LB ) ->
LA ++ LB .
%% delete/2
delete ( E , L ) ->
[ X || X <- L , E /= X ].
%% dropwhile/2
dropwhile ( P , L ) ->
[ X || X <- L , not P ( X )].
%% duplicate/2
duplicate ( N , E ) ->
duplicate ( N , E , []).
duplicate ( 0 , _ E , L ) ->
L ;
duplicate ( N , E , L ) when N > 0 ->
duplicate ( N - 1 , E , [ E | L ]).
%% filter/2
filter ( P , L ) ->
[ X || X <- L , P ( X )].
%% reverse/1
reverse ( L ) ->
reverse ( L , []).
reverse ([], L ) ->
L ;
reverse ([ H | T ], L ) ->
reverse ( T , [ H | L ]).
%% min/1
min ([ H | T ]) ->
min ( T , H ).
min ([], M ) ->
M ;
min ([ H | T ], M ) ->
if
H < M -> min ( T , H );
true -> min ( T , M )
end .
%% zip/2
zip ( LA , LB ) ->
reverse ( zip ( LA , LB , [])).
zip ([], _ LB , L ) ->
L ;
zip (_ LA , [], L ) ->
L ;
zip ([ HA | TA ], [ HB | TB ], L ) ->
zip ( TA , TB , [{ HA , HB }| L ]).
%% zip/3
zip3 ( LA , LB , LC ) ->
reverse ( zip3 ( LA , LB , LC , [])).
zip3 ([], _ LB , _ LC , L ) ->
L ;
zip3 (_ LA , [], _ LC , L ) ->
L ;
zip3 (_ LA , _ LB , [], L ) ->
L ;
zip3 ([ HA | TA ], [ HB | TB ], [ HC | TC ], L ) ->
zip3 ( TA , TB , TC , [{ HA , HB , HC }| L ]).
%% zipwith/3
zipwith ( P , LA , LB ) ->
[ P ( X , Y ) || { X , Y } <- zip ( LA , LB )].
%% zipwith/4
zipwith3 ( P , LA , LB , LC ) ->
[ P ( X , Y , Z ) || { X , Y , Z } <- zip3 ( LA , LB , LC )].
小毛的胡思乱想
