Соответствие шаблону для лямбда?

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 

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