OCaml 函数显然有效但没有返回预期的结果

问题描述

谁能帮忙？我是 OCaml 的初学者，我正在尝试执行拆包操作。有一个集合 [(1,4); (2,5); (3,6)] 我想要退出 [(1,2,3),(4,5,6)]。我正在使用我用 Haskell 测试过的脚本，它可以工作，但在 OCaml 中，它没有显示结果。我哪里错了？我无法弄清楚我的错误在哪里。谢谢。

let fst num1 num2 =
  match num1,num2 with
  | (x,y) -> x;;

let snd num1 num2 =
  match num1,y) -> y;;

let rec dcp_base list1 list2 list3 =
  match list1,list2,list3 with
  | (xs,ys,[]) -> (xs,ys)
  | (xs,z :: zs) -> dcp_base (xs @ [fst z]) (ys @ [snd z]) zs;; 

let descompact list =
  match list with
  | [] -> ([],[])
  | xs -> dcp_base [] [] xs;;

解决方法

问题在于您对 fst 和 snd 的重新定义。它们不是必需的，因为它们已经在标准库中定义，并且在这些名称的范围内。但他们也错了。您的实现需要两个参数，并通过创建中间元组而不是直接使用单个元组参数以迂回方式选择第一个或第二个参数。因此，当您将它应用于单个元组参数时，它将返回一个部分应用的函数，期待第二个参数。

您可以通过从代码中删除 fst 和 snd 的定义来解决问题，但如果您绝对想重新实现它，它应该看起来更像这样：

let fst (x,_) = x;;
let snd (_,y) = y;;

您的 fst 和 snd 函数实际上很奇怪，因为您使用两个参数来返回第一个或第二个参数。我猜你想得到一对的第一个或第二个元素，所以你应该写（从最详细到最不详细）

(* too much details *)
let fst num = match num with (x,y) -> x
let snd num = match num with (x,y) -> y

(* let's use the wildcards *)
let fst num = match num with (x,_) -> x
let snd num = match num with (_,y) -> y

(* do we really need num? *)
let fst = function (x,_) -> x
let snd = function (_,y) -> y

(* do we really need to match on a single pattern? *)
let fst (x,_) = x
let snd (_,y) = y

它应该可以工作。

附带说明，fst 和 snd 已经存在于标准库中，但尝试自己实现它们永远不会错

附注，通常不建议在列表末尾附加（不是尾递归，您强制程序遍历整个列表以在末尾附加一个元素）。你可以做的是在列表的头部添加每个新元素并反转最终列表：

let rec dcp_base list1 list2 list3 =
  match list1,list2,list3 with
  | (xs,ys,[]) -> (List.rev xs,List.rev  ys)
  | (xs,z :: zs) -> dcp_base (fst z :: xs) (snd z :: ys) zs;;

实际上，由于 OCaml 非常强大，您根本不需要 fst 和 snd：

let rec dcp_base list1 list2 list3 =
  match list1,(x,y) :: zs) -> dcp_base (x :: xs) (y :: ys) zs;;

证明：

let rec dcp_base list1 list2 list3 =
  match list1,y) :: zs) -> dcp_base (x :: xs) (y :: ys) zs;; 

let descompact list =
  match list with
  | [] -> ([],[])
  | xs -> dcp_base [] [] xs;;

descompact [(1,4); (2,5); (3,6)];;
- : int list * int list = ([1; 2; 3],[4; 5; 6])

functional-programming matching ocaml ocaml