我正在研究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)
问题不清楚函数实际应该做什么。
但是,为了让您走上正确的道路,您可以查看类型注释。它们允许您向函数参数添加显式类型。
例如:
let my_function (a : string option list) (b : int) : string * string list = ("", []);;
我根本看不出这样的练习怎么有用。