匿名函数fun

lists:map(fun/1,[1,2,3]).
小试匿名函数的好处。
那么怎么样去用呢：（照搬啊）
如要实现：test(Fun,[1,2,3,4,5]).求对[1,2,3,4,5]进行未定的操作：（这可怎么办啊，行为没定。。。。）
看看fun() ->end的妙用。

test(fun() -> X rem 2=:=0 end,List) .------》如何：

test(Fun,List) ->
lists:filter( Fun,List).
吊爆-----

fun() ->end 的起源：
[b]1.[/b]如果我们要定义一下函数实现lists中元素*2 ----->
第一个想法：
double([H|T]) -> [2*H|double(T)];
double([]) -> [].
但是：对每个元素的处理都是有相同的规则，于是就想把这个[color=red]规则抽象[/color]出来：（规则成一个可以动态的）
map(F,[H|T] -> [F(H)|map(F,T)];
map(F,[]) ->[].
这个过程很好看，直接就把规则变成了调用者自己来规定了。调用：
double(L) -> map(fun(X) ->2*X end,L).
这就是的：procedural abstraction(过程抽象）
如上：你可以自己去实现 一个for_each (F,List) . F ---->fun() --->end ; note ：for_each与map的区别for_each只会返回ok,map对每一项处理了都返回的。

[b]2.[/b]fun 的语法：
1) F = fun(A1,A2...) -> end.
如果我们要已定义了好了一个fun 则 -》 F = fun FunctionName/Arity
或更强：F={Modul,FunctionName} ----->不同一个模块的已定义的Function
PS:
f(F, Args) when is_function(F) ->
apply(F, Args);
f(N, _) when is_integer(N) ->
N.
2) [color=red]fun里面的参数要求：[/color]
1.1)必须为不绑定的变量，（fresh,variables)
1.2)在fun 以前里面的定义的使用就是又用来做fun的参数，如下：会报警--》（千万不要这样做~~）
print_list(File, List) ->
{ok, Stream} = file:open(File, write)->
foreach(fun(File) ->
io:format(Stream,"~p~n",[File])
end, List),
file:close(Stream).
1.3) 不能从fun里面导出变量。
1.4） fun可以类似于case里面的语句 如下
fun(A) when is_lists(A) ->
do_some_lists_op(A);
(_) -> ignore
end.
突出的就是一个灵活啊。
3）高级用法：
3.1）返回fun的fun ------>[color=red]fun which return funs[/color]
-modul(lazy).
-export([ints_from/1]).
ints_from(N) ->
fun() ->
[N|ints_from(N+1)]
end.
上面是不是像一个无限循环：注意他的元素是一个fun，不给参数是不会执行的，不用担心了。
所以我们现在给他来点参数：（lazy embedding)
XX=lazy:ints_from(1).
XX. ->[1|Fun<>].
有什么用呢？ ->为了取出这个函数的头一个：
hd(XX()). ->
如果：Y = tl(XX()).
hd(Y()). ->> 效果和 XX2 = lazy:ints_from(2).再hd(XX2()).一样的，不过这个灵活一点啦。
PS: 太多开源代码里用fun 的fun了，真是太耀眼了。。。。
3.2)解析parser ------->这个用法没看懂用途。。。。




[img]http://dl.iteye.com/upload/attachment/0077/9508/92dee77a-cc41-323d-995d-334726b66543.png[/img]


读http://www.erlang.org/doc/programming_examples/funs.html 的笔记。