在 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