ocaml - OCaml中的混合模式匹配和currying

Question

在SML中，同时使用currying和模式匹配来定义函数是常见且容易的。这是一个简单的例子:

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

忽略库函数，将其移植到OCaml的最佳方法是什么？据我所知，没有一种简单的方法可以同时使用currying和pattern匹配来声明一个函数。

Answer 1

我会说最好只使用一个match表达式。

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