OCaml显式类型签名

Question

在Haskell中,明确声明函数的类型签名被认为是一种好习惯,即使它(通常)可以推断出来.看起来这在OCaml中甚至不可能,例如

val add : int -> int -> int ;;

给了我一个错误.(虽然我可以制作type只提供签名的模块.)

1. 我是否正确,这在OCaml中是不可能做到的？
2. 如果是这样,为什么？OCaml的类型系统似乎与Haskell完全不同.

Answer 1

OCaml有两种指定类型的方法,它们可以内联完成:

let intEq (x : int) (y : int) : bool = ...

或者它们可以放在接口文件中,如下所示:

val intEq : int -> int -> bool

我相信后者是首选,因为它更清晰地将规范(类型)与实现(代码)分开.

参考文献:Haskellers的OCaml

Answer 2

我一般来说,let使用约束类型绑定值的语法是:

let val : constraint = e ...

应用于函数,您可以按如下方式指定签名:

let add : int -> int -> int = fun x y -> ...

这类似于将模块约束到签名所需的语法:

module Mod
  : sig    ... end
  = struct ... end