高阶函数中变量的绑定和匹配问题

一直一来没有留意到这个问题，今天偶尔在blog上看到，就标记一下，别让自己忘记了。

文章在 http://easyerl.blogspot.com/2007/10/high-order-functions-must-be-tested.html

测试代码如下：
[code]1> Filter = fun(Elem) -> fun({Elem, _, _}) -> true; (_) -> false end end.
#Fun<erl_eval.6.49591080>
2> C = Filter(cpu).
#Fun<erl_eval.6.49591080>
3> C({test, t, t}).
true % this should have been false ...[/code]

按理来说，C应该等同与一个这样的函数：
[code]fun({cpu, _, _}) -> true; (_) -> false end.[/code]
这样
C({test, t, t}) 应该返回 false

作者指出，参考 http://www.erlang.org/doc/programming_examples/funs.html#2.4，有一段如下文字：
[quote]The rules for importing variables into a fun has the consequence that certain pattern matching operations have to be moved into guard expressions and cannot be written in the head of the fun. [/quote]

因此应该用
[code]f(...) ->
Y = ...
map(fun(X) when X == Y ->
;
(_) ->
...
end, ...)
...[/code]
取代
[code]f(...) ->
Y = ...
map(fun(Y) ->
;
(_) ->
...
end, ...)
...[/code]

因此正确做法是
[code]Filter = fun(Elem) ->
fun({X, _, _}) when X == Elem -> true; (_) false end
end.[/code]