Functional programming OCaml函数显然可以工作，但不会返回预期结果

谁能帮忙？我是OCaml的初学者，我正在尝试执行解包集的操作。有一个集合[1,4；2,5；3,6]我想得到出口[1,2,3,4,5,6]。我正在使用一个我用Haskell测试过的脚本，它工作了，但是在OCaml中，它没有显示结果。我哪里做错了？我想不出我的错误在哪里。Thx

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

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

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

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

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

*太多细节* 让fst num=将num与x匹配，y->x 让snd num=将num与x、y->y匹配 *让我们使用通配符* 让fst num=将num与x匹配，->x 让snd num=将num与u、y->y匹配 *我们真的需要num吗* 设fst=函数x，->x 设snd=function u，y->y *我们真的需要在单一模式上进行匹配吗* 设fst x，ux=x 设snd u，y=y 它应该会起作用

作为补充说明，标准库中已经存在fst和snd，但是自己尝试实现它们从来都没有错

第二点注意，通常不建议在列表末尾追加，而不是尾部递归，这是在强制程序遍历整个列表以在末尾追加元素。您可以做的是将每个新元素添加到列表的开头，并反转最终列表：

让rec dcp_base list1 list2 list3= 将列表1、列表2、列表3与 |xs，ys，[]->List.rev xs，List.rev ys |xs，ys，z:：zs->dcp_基本fst z:：xs snd z:：ys zs；； 实际上，由于OCaml非常强大，您根本不需要fst和snd：

让rec dcp_base list1 list2 list3= 将列表1、列表2、列表3与 |xs，ys，[]->List.rev xs，List.rev ys |xs，ys，x，y:：zs->dcp_base x:：xs y:：ys zs；； 证明：

让rec dcp_base list1 list2 list3= 将列表1、列表2、列表3与 |xs，ys，[]->List.rev xs，List.rev ys |xs，ys，x，y:：zs->dcp_base x:：xs y:：ys zs；； 让我们来描述压缩列表= 匹配列表 | [] -> [], [] |xs->dcp_base[]xs；； 描述压缩[1,4；2,5；3,6]；； -：int list*int list=[1；2；3]，[4；5；6] 您的fst和snd函数实际上很奇怪，因为您使用两个参数来返回第一个或第二个参数。我猜你想得到一对中的第一或第二个元素，所以你应该从最详细到最不详细地写

*太多细节* 让fst num=将num与x匹配，y->x 让snd num=将num与x、y->y匹配 *让我们使用通配符* 让fst num=将num与x匹配，->x 让snd num=将num与u、y->y匹配 *我们真的需要num吗* 设fst=函数x，->x 设snd=function u，y->y *我们真的需要在单一模式上进行匹配吗* 设fst x，ux=x 设snd u，y=y 它应该会起作用

作为补充说明，标准库中已经存在fst和snd，但是自己尝试实现它们从来都没有错

第二点注意，通常不建议在列表末尾追加，而不是尾部递归，这是在强制程序遍历整个列表以在末尾追加元素。您可以做的是将每个新元素添加到列表的开头，并反转最终列表：

让rec dcp_base list1 list2 list3= 将列表1、列表2、列表3与 |xs，ys，[]->List.rev xs，List.rev ys |xs，ys，z:：zs->dcp_基本fst z:：xs snd z:：ys zs；； 实际上，由于OCaml非常强大，您根本不需要fst和snd：

让rec dcp_base list1 list2 list3= 将列表1、列表2、列表3与 |xs，ys，[]->List.rev xs，List.rev ys |xs，ys，x，y:：zs->dcp_base x:：xs y:：ys zs；； 证明：

让rec dcp_base list1 list2 list3= 将列表1、列表2、列表3与 |xs，ys，[]->List.rev xs，List.rev ys |xs，ys，x，y:：zs->dcp_base x:：xs y:：ys zs；； 让我们来描述压缩列表= 匹配列表 | [] -> [], [] |xs->dcp_base[]xs；； 描述压缩[1,4；2,5；3,6]；； -：int list*int list=[1；2；3]，[4；5；6]

---

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

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

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

---

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

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

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