lambda 的模式匹配？

Question

是否可以对匿名函数进行参数和大小写的模式匹配？如果是这样，语法是什么？

假数定理

Answer 1

它与命名函数完全相同：

- (fn 0 => 1 | x => 34) 1;
val it = 34 : int

- (fn (_::y::_) => y) [1,2,3];
val it = 2 : int

（第二个例子中省略了警告。）