Как сопоставить шаблон по произвольному числу аргументов?

Question

Есть ли эквивалент OCaml для соответствия шаблону Haskell на произвольном количестве аргументов? Например, я могу иметь что-то похожее:

merge [] lst = lst 
merge lst [] = lst 
merge l1 @ (n : ns) l2 @ (m : ms) = 
    if n < m then n : merge ns l2 else m : merge l1 ms 

(Пример приподнялся от Разработки приложений с Objective Caml :)

Спасибо.

Answer 1

Вы не можете соответствовать несколько аргументов как таковой, но вы можете сопоставить кортежи, так что вы можете сделать:

let rec merge l1 l2 = match l1, l2 with 
| [], lst 
| lst, [] -> lst 
| (n::ns), (m::ms) -> if n < m then n :: merge ns l2 else m :: merge l1 ms 

Если вы нормально с функцией принимать аргументы в виде кортежа вы также можете использовать function вот так:

let rec merge = function 
| [], lst 
| lst, [] -> lst 
| (n::ns as l1), (m::ms as l2) -> if n < m then n :: merge (ns, l2) else m :: merge (l1, ms)