cobra - 2008-9-15 7:03:00
上一篇博客，介绍了列表类型，本篇将介绍数组类型Array、字典类型(Map)，以及可变数组(ResizeArray)、Set类型。
一、数组类型 (Array)
数组类型，在语义上表示一组相同类型的集合。这个跟列表(List)相似，两者的区别在于列表类型数据元素不可变，而数组类型可以。虽然数组类型随机访问，在查询访问上性能优先列表，但列表在变更集合(增加、删除集合元素)上有更好的性能。这个跟大多数语言是相似的。
定义数组类型的语法，跟列表也很相似，区别在于数组多了两个"|"符合。
Code
arr为一维数组，类型为int array。jaggedArr数组为int array array
F#数组与c#很相似，有两种类别的数组，一种叫矩形(rectangle)数组，另一种叫锯齿(jagged)数组
矩形数组，在数字意义上，就是矩阵(matrix)，一维数组也叫矢量或向量(vector)。注意锯齿数组内嵌的数组长度不相等。
在F#中共定义了三个模块来处理数组类型。Array,Array2,Array3，分别用来处理一维、二维、三维数组。
Code
a类型为int [,]，是一个二维数组。
Code
从上面的代码可以看出，F#除支持与c#类似的访问方法外，还对一维数组支持范围区间访问语法。
二、可变数组类型(ResizeArray)
ResizeArray类型，只是.net 类型 System.Collections.Generic.List泛型类型的别名。ResizeArray长度可变，数据元素可变，很显然这个类型难以保证线程安全，应优先使用F#的List类型。
Code
三、键值对类型Map。
Map类型，不同于.net的System.Collections.Generic.Dictionary类型，Map类型是不可变类型。
Code
上面的代码可以看出Map.add函数创建Map类型比较麻烦，通过of_list，of_array,of_seq等函数创建字典比较方便。
四、Set类型
Set类型，不同于List之处，在于集合中数据是唯一的，不存在两条相等的数据成员。
Code
Set类型，还支持两个Set类型的相交、合并，取子集合等操作
Code
集合在日常编程中占据了重要了位置，本文对F#集合类型的技术细节没有进行讨论。
到本篇博客为止，已经讨论了基本类型、集合类型、元组类型、函数类型。 记录类型，不准备专门讲解，可以阅读从c#3.0到F#，序列seq类型，我不打算在本系列中讨论，因为不讨论计算表达式，序列无法说清。 下一篇博客将讨论模式匹配，这样，基本上F#函数编程范式基本知识讨论完了。
接下来，我就集中研究函数式编程中一些高级特性，例如组合子，CPS,Monad。希望条件成熟，我另开一个系列来讨论。
下一篇：F#学习之路(8)模式匹配
（文/lvxuwen 出处/博客园）
一、数组类型 (Array)
数组类型，在语义上表示一组相同类型的集合。这个跟列表(List)相似，两者的区别在于列表类型数据元素不可变，而数组类型可以。虽然数组类型随机访问，在查询访问上性能优先列表，但列表在变更集合(增加、删除集合元素)上有更好的性能。这个跟大多数语言是相似的。
定义数组类型的语法，跟列表也很相似，区别在于数组多了两个"|"符合。
Code
arr为一维数组，类型为int array。jaggedArr数组为int array array
F#数组与c#很相似，有两种类别的数组，一种叫矩形(rectangle)数组，另一种叫锯齿(jagged)数组
矩形数组，在数字意义上，就是矩阵(matrix)，一维数组也叫矢量或向量(vector)。注意锯齿数组内嵌的数组长度不相等。
在F#中共定义了三个模块来处理数组类型。Array,Array2,Array3，分别用来处理一维、二维、三维数组。
Codea类型为int [,]，是一个二维数组。
Code从上面的代码可以看出，F#除支持与c#类似的访问方法外，还对一维数组支持范围区间访问语法。
二、可变数组类型(ResizeArray)
ResizeArray类型，只是.net 类型 System.Collections.Generic.List泛型类型的别名。ResizeArray长度可变，数据元素可变，很显然这个类型难以保证线程安全，应优先使用F#的List类型。
Code三、键值对类型Map。
Map类型，不同于.net的System.Collections.Generic.Dictionary类型，Map类型是不可变类型。
Code上面的代码可以看出Map.add函数创建Map类型比较麻烦，通过of_list，of_array,of_seq等函数创建字典比较方便。
四、Set类型
Set类型，不同于List之处，在于集合中数据是唯一的，不存在两条相等的数据成员。
CodeSet类型，还支持两个Set类型的相交、合并，取子集合等操作
Code集合在日常编程中占据了重要了位置，本文对F#集合类型的技术细节没有进行讨论。
到本篇博客为止，已经讨论了基本类型、集合类型、元组类型、函数类型。 记录类型，不准备专门讲解，可以阅读从c#3.0到F#，序列seq类型，我不打算在本系列中讨论，因为不讨论计算表达式，序列无法说清。 下一篇博客将讨论模式匹配，这样，基本上F#函数编程范式基本知识讨论完了。
接下来，我就集中研究函数式编程中一些高级特性，例如组合子，CPS,Monad。希望条件成熟，我另开一个系列来讨论。
下一篇：F#学习之路(8)模式匹配
（文/lvxuwen 出处/博客园）
| F#学习之路(3) 如何组织程序(下) |
| F#最新信息：MonoDevelop、新书和新的CTP |
| F# CTP 版本发布 |
| F#学习之路 (1)什么是函数式编程 |
| F#中有趣的计量单位 |
| 从C# 3.0到F# |
| F#：在不久的将来对其会有那些期待？ |
| F#学习之路(5)元组类型 |
| F# 之旅（四）：面向对象编程（上） |
| F# 1.9.4 Available Now with Important Updates |