ocaml 初学者，我有一个类型错误问题（作为每个初学者）并且无法解决

Question

let max2 (x:float) (y:float) :float = 
    if x>=y then x else y;;

let max4 (x:float) (y:float) (a:float) (b:float) :float =
    max2(max2(x, y), max2(a, b));;

错误：此表达式的类型为 'a * 'b 但表达式应为 float 类型

我试图使用 2 个数字 function 之间的最大值来获取 4 个数字的最大值...

Answer 1

将 function f应用于某些 arguments arg1和arg2的语法很简单：

f arg1 arg2

请注意完全没有括号或逗号来分隔 arguments。如果我想将另一个 function g应用到之前的结果，我现在可以在 function 表达式和最后一个参数周围加上括号，如下所示：

g (f arg1 arg2)

这与您在 function 名称之后和 arguments 周围放置括号的其他语言可能有所不同。

此外，语法(e1,e2)以e1作为第一个成员， e2作为第二个成员构建对（二元组）。

所以max2 (x, y)是将 function max2应用于单个参数，即一对。 这与您想要的max2 xy不同。

Answer 2

尝试这个：

 let max2 (x:float) (y:float) :float = 
        if x >= y then x else y;;
    
    let max4 (x:float) (y:float) (a:float) (b:float) :float =
        max2 (max2 x y) (max2 a b);;

明确指定了 max2 和 max4 的类型，因此应该解决错误

Answer 3

@ghilesZ 回答的附录：本地绑定也很有用。

let max2 (x:float) (y:float) : float = 
  if x >= y then x 
  else y

let max4 (x:float) (y:float) (a:float) (b:float) : float =
  max2 (max2 x y) (max2 a b)

我们可以写：

let max4 (x:float) (y:float) (a:float) (b:float) : float =
  let m1 = max2 x y in
  let m2 = max2 a b in
  max2 m1 m2

此外，因为max2的 arguments 的类型是明确指定的，我们可以省略返回类型注释，并且max4和 OCaml 上的所有类型注释都将正确推断类型。

let max2 (x:float) (y:float) = 
  if x >= y then x 
  else y

let max4 x y a b =
  let m1 = max2 x y in
  let m2 = max2 a b in
  max2 m1 m2

您可能还希望将其概括为适用于浮点数列表，您可以根据其实现max4 。

let maxA =
  function
  | [] -> failwith "Empty list"
  | h::t -> List.fold_left max2 h t

let max4 x y a b = 
  maxA [x; y; a; b]