(string * string) list -> (string -> string)是什么意思？

Question

这也许是个超级愚蠢的问题，但我不明白。(string * string) list -> (string -> string)是什么意思？特别是最后一部分(string -> string)。你怎么能做到这一点？

我以为这是一种内在的功能，但我猜不是。

Answer 1

string -> string表示接受string并返回string的函数。类似地，int -> int将指示一个接受int并转换int的函数。

string * string表示两个字符串的元组。(string * string) list表示这些元组的列表。

所以：

(string * string) list -> (string -> string)

指示一个函数，该函数接受两个字符串的元组列表，并返回一个接受字符串并返回字符串的函数。

熟悉这种语法是个好主意，因为您会看到很多这种语法。

与此类型匹配的一个非常简单的函数如下所示。请注意，所包含的模式匹配并非详尽无遗.

let f : (string * string) list -> (string -> string) = 
  fun ((a,b)::_) -> fun x -> x ^ a ^ b

在顶层尝试时，您将看到以下类型.由于函数在OCaml中的工作方式，它等同于您询问的类型签名，尽管缺少括号。

(string * string) list -> string -> string