ocaml - OCaml中箭头 "->"的目的是什么

Question

我最近一直在学习 OCaml，到目前为止，编译器似乎使用了一个箭头来表示下一个类型是什么。例如，int -> int -> <fun>一个整数，它返回一个整数，它返回一个函数。

但是，我想知道是否可以在 OCaml 代码中本地使用它。此外，如果有人碰巧知道它的适当名称。谢谢你。

Answer 1

运算符通常称为类型箭头，其中 T1 -> T2表示来自 T1 类型的函数输入 T2 .例如，+ 的类型是 int -> (int -> int)因为它需要两个整数并返回另一个整数。

一路->定义，函数总是接受一个参数并且只返回一个元素。具有多个参数的函数可以转换为一元函数序列。我们可以解读1 + 2就像创建一个 +1 增量函数(您可以通过在 OCaml 命令行中计算 (+) 1 来创建它)到数字 2。这种技术称为 Currying 或 Partial Evaluation。

让我们看看 OCaml 在评估 term 时的输出:

# 1 + 2;;
- : int = 3

# (+) 1 ;;
- : int -> int = <fun>

术语 1+2是整数类型，值为 3和术语 (+) 1是从整数到整数的函数。但由于后者是一个函数，OCaml 不能打印单个值。作为占位符，它只打印 <fun> , 但类型在 = 的左侧.

您可以使用 fun 关键字定义自己的函数:

# (fun x -> x ^ "abc");;
- : bytes -> bytes = <fun>  

这是将“abc”附加到给定字符串 x 的函数。让我们把语法分开: fun x -> term意味着我们定义了一个带有参数 x 的函数这个 x现在可以出现在 term 内.有时我们想给出函数名称，然后我们使用 let build :

# let append_abc = (fun x -> x ^ "abc") ;;
val append_abc : bytes -> bytes = <fun> 

因为 let f = fun x -> ...有点麻烦，也可以这样写:

let append_abc x = x ^ "abc" ;;
val append_abc : bytes -> bytes = <fun>

在任何情况下，您都可以按如下方式使用新功能:

# append_abc "now comes:" ;;
- : bytes = "now comes:abc"

变量 x替换为 "now comes:"我们得到表达式:

"now comes:" ^ "abc"

计算结果为 "now comes:abc" .