ocaml 列表中的最大 int

Question

我想在一个 int 列表中找到最大元素。 我们的想法是只给find_max 打一次电话，然后让support 来做脏活。 函数support返回一个int，第一个值为0，然后当找到一个新的max时，它的值被保存，添加到结果中，之前的最大值被改变并从结果中减去它的值。

这是因为：

old_max = x
result = 0 + old_max

找到一个新的最大值：

new_max= y
result = result - oldmax + new_max

所以我会保存new_max 的值：

0 + old_max - old_max + new_max = new_max`.

显然上面的代码是解释性的，这是我的真实代码：

let find_max random  = 
  let rec support rlist max =
    if rlist==[] then 0
    else 
      if (List.hd rlist) > max 
      then -max + (List.hd rlist) + support (List.tl rlist) (List.hd rlist)
      else support (List.tl rlist) max ;;
  let return = support random 0 0 ;
  !return;;

let a = [1;2;3];
print_string "max element in list is : "
print_int (find_max a);
print_string "\n"

错误在第 9 行 !return;;，语法错误（显然是 :/）在 ;;

Answer 1

OCaml 中没有构造let ... = ...;，本地定义使用let .. = ... in ... 。作为初学者，您可能也希望完全避免使用;;。

另外，结构平等是= 而不是==。同样，作为初学者，您应该永远在代码中使用List.hd 和List.tl。模式匹配始终是最佳选择。 通常，这些函数的所有用法都可以用一个简单的替换：

match rlist with
| [] -> 0
| hd :: tl -> ...

它更短、更清晰，并且消除了任何错误处理空列表的可能性。 您的逻辑也不必要地复杂，而不是计算 max - initial_value 与

-max + hd + support tl hd

你可以直接计算最大值

hd

然后你打电话给支持support 有太多参数。 我们可能想在计算效果时使用let () = ... ，而不是使用;;。