ocaml - OCaml 中函数声明的语法

Question

我想定义一个函数如下:

let f (a: int) (b: int) (c: int) (d: int): int =
  ...

是否可以在不使它们成为元组的情况下使签名更短？因为我仍然希望 f 有 4 个参数。

非常感谢。

Edit1: 我只是认为重复 int 4 次是没有用的，想象一下类似 let f (a, b, c, d: int ): int 目前实际上是不允许的。

Answer 1

尝试这个语法:

let g: int -> int -> int -> int -> int =
  fun a b c d -> 
     assert false

并没有短多少，但是如果你有很多这样的，你可以定义 type arith4 = int -> int -> int -> int -> int并使用该名称作为 g 的类型注释.