列表与F#中的[]之间的差异

Question

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

// 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>

F#中的一些表达式是

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

在类型定义中,您也可以这样做int [].哪个是C语法糖.是的,T3和T4是一样的.

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