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 并使用该名称作为 g 的类型注释。

Answer 2

我的 OCaml 很生疏，但我相信您可以通过声明自己的类型并将其解压到函数体中来做到这一点。

type four = int*int*int*int

let myfunction (t:four) = 
   let a, b, c, d = t in 
      a + b + c + d;

您还可以这样做：

let sum4 ((a, b, c, d):int*int*int*int) = 
   a + b + c + d;;