列表的 F# 类型注释

Question

在 F# 中，类型列表(例如 int 列表)的类型注释是什么？通过一个简单的函数，我可以做如下注释:

让平方(x:int)= ...

我已将 x 注释为 int 类型。但是如果我想为一个 int 列表做一个类型注释呢？例如，假设我有一个需要列表的 max 函数 - 我将如何为它做类型注释？

让 max(numbers:??) = ...

Answer 1

有两种选择:

let max (numbers:int list) = ... 
let max (numbers:list<int>) = ... 

第一个版本使用从 OCaml 继承的语法(并且经常用于原始 F# 类型，例如列表)。第二个版本使用 .NET 语法(并且更常用于 .NET 类型或在 F# 中编写面向对象的代码时)。但是，两者的意思完全相同。

无论如何，类型注解的形式总是 (<something> : <type>)哪里 <something>是模式(如在参数列表中)或表达式。这意味着 int list和 list<int>只是类型的名称。如果您输入某个值，F# Interactive 会打印类型，因此您可以使用它来了解有关如何编写类型名称的更多信息:

> [1;2;3]
val it : int list = [ 1; 2; 3 ]