Смешивание шаблонов и карри в OCaml

Question

В SML обычно и легко определить функцию, используя как каррирование, так и сопоставление с образцом.Вот простой пример:

fun zip [] _ = []
  | zip _ [] = []
  | zip (x::xs) (y::ys) = (x,y)::(zip xs ys)

Игнорирование библиотечных функций, как лучше всего перенести это на OCaml?Насколько я могу судить, не существует простого способа объявить функцию с использованием как каррирования, так и сопоставления с образцом.

Answer 1

Я бы сказал, что лучше всего использовать выражение соответствия.

let rec zip xs ys = 
    match xs, ys with
    | [], _
    | _, [] -> []
    | x :: xs, y :: ys -> (x, y) :: zip xs ys

Если вы не используете совпадение, это немного запутанно, но вы можете сделать это.

let rec zip = function
    | [] -> (fun _ -> [])
    | x :: xs ->
        function 
        | [] -> []
        | y :: ys -> (x, y) :: zip xs ys