您如何在心理对话框中读取 OCaml 函数输入输出？

Question

对于[1]：

# let make pair int (x:int) (y:int) = x,y ;;
val make_pair_int : int -> int -> int * int = <fun>

如何你读过打字信息输出吗？在其他语言中，我发现能够根据语法或打印输出构建一个令人信服的英语句子对于理解正在发生的事情至关重要。上述 OCaml 语句的句子是什么？

有人可以绘制出打印输出图，以便将打字信息与英语相关联吗？喜欢：

val make_pair_int : int -> int -> int * int = <fun>
      |              |   |  |   |  \_____/  \__/
      |              |   |  |   |     |       ` is a function
      |              |   |  |   |     ` a tuple of integers
      |              |   |  |   `
      |              |   |  `
      |              |   `
      |              `
      ` symbol make_pair_int is bound to

Answer 1

这只是函数的 柯里化 版本。对此类函数的阅读取决于您对函数的柯里化表示法的熟悉程度。

要点是考虑到采用两个参数与采用一对参数是完全不同的概念，因为对进行引用到特定类型构造函数（隐藏在 ocaml 代码片段中的 * 和 , 符号下的内容）。

如果您不想引用配对（或元组，如果您想要任意参数数组）构造，您该怎么办？这个问题的柯里化答案是利用高阶函数：

val make_pair_int : int -> int -> int * int = <fun>
      |              |   |  |   |  \_____/  \__/
      |              |   |  |   |     |       ` and all that is a higher-order function
      |              |   |  |   |     ` a pair of integers
      |              |   |  |   `and returns
      |              |   |  `a function that takes an integer as an argument
      |              |   `and returns
      |              ` something that takes an integer as an argument 
      ` symbol make_pair_int is bound to

按照隐式惯例，这种柯里化解释（以及随之而来的符号）是公认的思考问题的方式。如果函数带有多个参数，您可以只计算类型中箭头的数量，并将最后一个箭头之前的箭头视为函数的“参数”。

Answer 2

我想这是非常主观的，取决于功能的使用。通常我会尝试将其视为函数的非柯里化版本，然后在脑海中阅读。然而，如果我真的使用这个函数来构造闭包，我可能会把它理解为不同的东西。

因此，在这种情况下，根据我使用此函数的上下文，我会将其读为：

“从 int 和 int 到整数元组的函数”

在其他情况下，同样可能会变为：

“从 int 到从 int 到整数元组的函数” “

我想在同一函数的两种表示之间进行切换的能力为以后使用该函数提供了很大的灵活性。