F＃语句的语义

Question

有人可以向我描述这个F＃表达式吗？

val augment: GameGrid -> points -> unit

val关键字是什么意思？

通常type -> type指示返回指定类型的函数是否正确？ 那么type- type -> type -> type表示返回一个返回指定类型的函数的函数？

Answer 1

（“ val”位不是表达；我认为它可以出现在三个不同的上下文中：

• FSI（F＃交互式REPL）的输出，描述了绑定的推断类型
• 在签名（.fsi）文件中，描述了让约束模块值的类型
• 用结构/类定义（“显式”语法）定义实例变量

而且这些都不是技术上的表达上下文。）

至于类型，确实

A1 -> A2 -> R

表示接受A1的函数，并返回接受A2并返回R的函数。这些参数是经过咖喱处理的，它可能会很好地读取例如

F＃函数类型：元组和Curying的乐趣

其中更详细地描述了currying和部分应用程序。

Answer 2

您如何获得此输出的？ 在FSI中？

Val仅代表一个值的定义。

例如，如果您在C＃中编写了以下内容

private void Foo(int i);

你可以用F＃来写

val Foo : int -> unit

关于type-> type- type -> type -> type ：这是一个带有两个参数（类型）的函数，返回“ type”

例如

let plus a b = a + b

拥有签名int -> int -> int 。

您关于返回一个函数的函数的想法实际上是正确的。 在许多称为currying的功能语言中，这是一种非常有趣的技术