注意：我们不能在模式匹配中放入lambda 表达式

以下代码在VS2012中不能通过编译，你知道么？知道为什么么？

let f0 x = x % 2 = 0
let f1 x = x % 2 <> 0

let ( | Even | _ | ) f (x:int) = if f(x) then Some(Math.Sign(x)) else None
let ( | Odd | _ | ) f (x:int) = if f(x) then Some(Math.Sign(x)) else None

let f (x:int) =
match x with
| Even (fun x -> x % 2 = 0) sign-> sprintf "even sign=%d" sign
| Odd f1 sign-> sprintf "odd sign=%d" sign

编译器会在关键字”fun”那里报一个错误，抱怨“Unexpected keyword ‘fun’ in pattern. Expected ‘)’ or other token” 。见如下截图：



你有想过这个编译错误仅仅是因为我们不能在模式里面放入lambda表达式么？如果是这样的话，那么恭喜你，你猜对了！J

似乎这个错误信息会误导我们去写很多的“)”或者其它的一些疯狂的绕过去的举措。如果编译器直接告诉用户我们不支持它那就好了。不管怎样，如果你知道了这个点，那么我们就不会陷入困境了。