Образец соответствия для лямбд?

Question

Возможно ли иметь сопоставление с образцом аргументов и регистрацию для анонимной функции? Если так, какой синтаксис?

Ipsum Lorem

Answer 1

Это точно так же, как для именованных функций:

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

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

(Предупреждение было опущено во втором примере.)