我需要具有以下OCaml类型的函数定义

Question

我正在研究ocaml，但无法弄清楚这些类型的功能。谢谢。

1- string option list -> int -> string * string list

2- ('a -> 'a -> 'b) -> 'a -> ('a -> 'b) * 'b

3- 'a list -> 'b list -> ('a -> 'b -> 'a * 'b list)

Answer 1

该功能实际上应该做什么尚不清楚。

但是，为了使您处于正确的状态，可以看看type annotations。它们允许您将显式类型添加到功能参数。

例如，如下所示：

let my_function (a : string option list) (b : int) : string * string list = ("", []);;

我只是看不出这种练习如何有用。