OCaml型推理

Question

我刚刚开始学习OCaml，我对OCaml编译器如何在参数可能是多个类型的特定情况下确定参数的输入类型感到困惑。我假设我需要在这些实例中显式地声明类型？例如：

let sign x =
    if x > 0 then 1
    else if x < 0 then -1
    else 0

let _ = print_int(sign 1.5)

抛出“错误:此表达式有类型浮点数，但预期表达式为int"类型。

但是，比较操作符不也适用于浮点数吗？为什么编译器假定参数应该是int，而不是说类似于参数类型的东西是模棱两可的(除非我弄错了，而且类型实际上并不是歧义的)？

Answer 1

OCaml中内置的比较运算符具有以下类型的签名：'a -> 'a -> bool。注意，虽然参数类型是泛型的('a)，但它们都是相同的。因此，当您进行像x < 0这样的比较时，编译器会看到第二个参数的类型是int，然后推断x的类型也必须是int。将您的比较更改为使用浮点数，例如x < 0.将使您的代码类型检查，但之后它将不再适用于int输入。