F#学习之路(7)集合类型
上一篇博客，介绍了列表类型，本篇将介绍数组类型Array、字典类型(Map)，以及可变数组(ResizeArray)、Set类型。
一、数组类型 (Array)
数组类型，在语义上表示一组相同类型的集合。这个跟列表(List)相似，两者的区别在于列表类型数据元素不可变，而数组类型可以。虽然数组类型随机访问，在查询访问上性能优先列表，但列表在变更集合(增加、删除集合元素)上有更好的性能。这个跟大多数语言是相似的。
定义数组类型的语法，跟列表也很相似，区别在于数组多了两个"|"符合。
let arr=[|1;2;3|]
let jaggedArr=[|
[|1;2|];
[|3;4;5|]
|]
arr为一维数组，类型为int array。jaggedArr数组为int array array
F#数组与c#很相似，有两种类别的数组，一种叫矩形(rectangle)数组，另一种叫锯齿(jagged)数组
矩形数组，在数字意义上，就是矩阵(matrix)，一维数组也叫矢量或向量(vector)。注意锯齿数组内嵌的数组长度不相等。
在F#中共定义了三个模块来处理数组类型。Array,Array2,Array3，分别用来处理一维、二维、三维数组。
let a=Array2.create 10 20 0
Array2.iteri (fun i j item-> printfn "no %d,%d :%A" i j item) a
System.Console.ReadKey(true) |>ignore
a类型为int [,]，是一个二维数组。
a.[5,5]<-8
Array2.iteri (fun i j item-> printfn "no %d,%d :%A" i j item) a
let arr=[|1;3;4|]
printfn "%A" arr.[0..2]
let c=[|
[|1;2|];
[|3;4;5|]
|]
printfn "%d" (c.[1].[2])
从上面的代码可以看出，F#除支持与c#类似的访问方法外，还对一维数组支持范围区间访问语法。
二、可变数组类型(ResizeArray)
ResizeArray类型，只是.net 类型 System.Collections.Generic.List泛型类型的别名。ResizeArray长度可变，数据元素可变，很显然这个类型难以保证线程安全，应优先使用F#的List类型。
b.AddRange(seq{for i in 1..100 ->i})
b.[5]<-8
b.ForEach((fun i->printfn "%d" i))
三、键值对类型Map。
Map类型，不同于.net的System.Collections.Generic.Dictionary类型，Map类型是不可变类型。
for v in m do
printfn "%A" v
let n=Map.of_list [for key in 1..100 do yield key,key.ToString()]
n |>Map.iter (fun key value ->printfn "%d %s" key value)
上面的代码可以看出Map.add函数创建Map类型比较麻烦，通过of_list，of_array,of_seq等函数创建字典比较方便。
四、Set类型
Set类型，不同于List之处，在于集合中数据是唯一的，不存在两条相等的数据成员。
Set类型，还支持两个Set类型的相交、合并，取子集合等操作
seq {for i in 1..10 ->i})
- Set.of_list [1;3;6]
|> Set.iter (fun item ->printfn "%d" item) //2;4;5;7;8;9;10
集合在日常编程中占据了重要了位置，本文对F#集合类型的技术细节没有进行讨论。
到本篇博客为止，已经讨论了基本类型、集合类型、元组类型、函数类型。 记录类型，不准备专门讲解，可以阅读从c#3.0到F#，序列seq类型，我不打算在本系列中讨论，因为不讨论计算表达式，序列无法说清。 下一篇博客将讨论模式匹配，这样，基本上F#函数编程范式基本知识讨论完了。
接下来，我就集中研究函数式编程中一些高级特性，例如组合子，CPS,Monad。希望条件成熟，我另开一个系列来讨论。
下一篇：F#学习之路(8)模式匹配
