compiler-errors - 确定哪个整数列表更大

Question

我试图找出哪个整数列表更大。[1;2;3] 的表示实际上是 123 .
所以给定两个整数列表，我想比较每个元素以确定最终哪个数字更大。返回 1如果 list1 > list2 , -1如果 list1 < list2 , 和 0如果他们是平等的。
这是我到目前为止所拥有的，但是当我尝试运行它时，我得到了错误，我不明白为什么。我还被要求尽可能以尾递归形式进行所有重复。这是正确的尾递归吗？

let rec compare' list1 list2 currentOrder = match (list1, list2) with
  | [],[]                     -> 0
  | list1, []                 -> 1
  | [], list2                 -> -1
  | car1::cdr1, car2::cdr2    ->      (*car1 contains the current element and cdr1 contains the rest of the list. Ex car1 = [1], cdr2 = [2;3]*)
    let nextCompare = 
        (
            if cdr1 = [] && cdr2 = [] 
            then 0
            else 1
        )                           
    in 
    (
      if (nextCompare != 0)(*To check if we are not at the end of the list*)
      then (      (*Compare the cars to determine the currentOrder and recursively call with the next number*)
        if car1 > car2
        then (compare' (cdr1 cdr2 1))
        else if car1 < car2
        then (compare' (cdr1 cdr2 -1))
        else (compare' cdr1 cdr2 currentOrder)
      )
      else (*we are at the end of the list so we want to return the current order*)
      (   (*Still need to check in case there is only 1 digit number, because we did not update currentOrder for it to be returned*)
        if car1 > car2
        then 1
        else if car1 < car2
        then -1
        else currentOrder
      )
    )


Printf.printf (compare' [1;2;3] [3;2;1] 0)

Answer 1

您遇到的第一个问题是一些函数应用程序(例如 (compare' (cdr1 cdr2 1)) )的参数周围有一些额外的括号，它告诉 OCaml 您想调用 cdr1带有参数 cdr2和 1 ，然后将结果应用到 compare' .因此编译器会提示你试图使用列表 cdr1作为一个函数。如果您习惯于使用括号来运行应用程序，这是一个简单的错误。

第二个问题是你有 -1不带括号，编译器会将其解释为应用 1到二进制 -运算符，因此提示其结果是一个函数而不是一个 int，正如你所期望的那样。这种奇怪行为的原因是 OCaml 支持部分函数应用，这会导致一些歧义。消除歧义，您只需将其括在括号中:(-1) .

最后，您的代码中有相当多的冗余，所以我为您简化了一些。更少的代码也意味着更少的地方可以搞砸，并且可以通过查看来找到搞砸的地方，这在你学习时非常方便:)

let rec compare' list1 list2 currentOrder =
  match list1, list2 with
  | [], []                     -> currentOrder
  | _, []                     -> 1
  | [], _                     -> -1
  | car1::cdr1, car2::cdr2    ->
    let order =
      if car1 > car2 then 1
      else if car1 < car2 then -1
      else currentOrder
    in
    compare' cdr1 cdr2 order

我不保证这在逻辑上是正确的，但是，这只是对您所写内容的转换(实际上我知道这不正确，但这是有原因的分配)。