collections - F# 中 list 和 [] 的区别

Question

我正在将一些 Haskell 代码移植到 F#，但对可用的集合及其在 F# 中的签名有点困惑。我的理解是列表中的元素包含在 [ ] 之间，序列在 { } 之间，数组在 [| 之间。 |]。在 F# Interactive 中，当我用 5 个整数创建每个容器时，我得到以下信息。

// List
> [1..5]
val it : int list = [1; 2; 3; 4; 5]

// Seq
> {1..5}
val it : seq<int> = seq [1; 2; 3; 4; ...]

// Array
> [|1..5|]
val it : int [] = [|1; 2; 3; 4; 5|]

让我困惑的是数组的类型签名是 int [] .可能是类型 int array或 int [||]会不会那么困惑？看类型签名，我倾向于认为它是一个列表，特别是因为一个空列表也被表示为 []。

这里有一个问题:为什么是序列类型 seq<int>而不是 int seq .我假设这可能是语法糖，但这背后可能还有其他东西。

现在使用集合创建新类型:

type T1 = T1 of int list
type T2 = T2 of int seq // becomes type T2 = T2 of seq<int>
type T3 = T3 of int array
type T4 = T4 of int []

T3和T4是一回事吗？

Answer 1

F# 允许您使用 .Net 样式类型定义和 ocaml 样式类型定义。这些都是一样的。

int list
list<int>  

int seq
seq<int>

int array
array<int>

一些 Expressions in F#是

[||] is an array
[] is a list
{} is a sequence

在类型定义中你也可以做 int [] .这是 C 语言的语法糖。是的，T3和T4是一样的。

但是你不能这样做 []<int> . []有点奇怪，因为它在类型定义中表现为类型数组，在表达式中表现为 op_Nil。