f# - 为什么在 F# 中将数组类型写成一个列表？

Question

具有以下内容:

let a = "hello world".Split(' ')

返回类型是一个字符串数组，但类型写为:

System.String[]

我不明白为什么:

你用 [| ... |] 声明一个数组但它显示为 [ ... ]在类型

你用 [ ... ] 声明一个列表但它显示为 x list在类型

另一个例子:

([| 3 |]).GetType()
val it : System.Type =
  System.Int32[]

为什么会这样？

Answer 1

这种不一致可能是因为 F# 是一种 .NET 语言。

在 F# 中，您希望列表比数组更频繁，因此使用较短的语法 [ ... ] 是有意义的。用于列表和更长的语法 [| ... |]对于数组。

在 .NET 中，数组类型写为 System.Int32[] .这是你从 GetType 得到的并且 F# 无法覆盖它，因为它来自 .NET 库。

至于类型名称，你总是可以使用 'a list和 'a array如果你想明确地写类型。

最不一致的特性是您可以编写数组类型，例如 int[]在 F# 中也是如此。我同意这令人困惑。我认为 F# 在这里只是采用了 C# 中使用的符号。但是，请注意，这也使您可以轻松定义多维数组，例如 int[,]和 int[,,] .我认为多维数组类型没有其他语法。