9.3.1 使用 .NET 集合
到目前为止，虽然我们主要是用F# 内置的列表类型来保存数据集合，在某些情况下，使用其他的 .NET 类型，比如，System.Collections.Generic 命名空间下的 Dictionary 类，也是有用的。这种类型对需要根据键进行快速访问，特别有用，因为提供了类似功能的不可变类型（比如，F# 库中的 Map），效率低下。
需要注意的是，Dictionary 类型是可变类型，因此，像 Add 这样的方法会改变对象的状态，而不是返回新的、修改后的副本。这就是说，在需要保持代码的纯函数式的地方，使用 Dictionary 类型时，我们必须要小心。
清单 9.10 显示了如何使用 Dictionary 类型创建一个简单的查询表，以及如何用IEqualityComparer<T> 接口实现的键，指定自定义的比较方法。
汇款单 9.10 实现 IEqualityComparer<T> 接口 (F# Interactive)
> open System
openSystem.Collections.Generic;;
> let noSpaceComparer =
letreplace(s:string) = s.Replace(" ", "") <-- 从字符串中移去空格
{ newIEqualityComparer<_> with [1]
member x.Equals(a, b) = | 比较字符串，
String.Equals(replace(a), replace(b)) | 忽略空格
member x.GetHashCode(s) = |
replace(s).GetHashCode() };; |
> let scaleNames = new Dictionary<_,_>(noSpaceComparer) [2]
scaleNames.Add("100", "hundred")
scaleNames.Add("1 000", "thousand")
scaleNames.Add("1 000 000", "million");;
> scaleNames.["10 00"];;
val it : string = "thousand"
> scaleNames.["1000000"];;
val it : string = "million"
这个示例说明，当我们需要调用 .NET API，接受接口作为参数值时，对象表达式非常有用。在这里，Dictionary 类型的构造函数接[2]受IEqualityComparer<T>接口的实现作为参数值；然后，在访问保存在字典中的元素时，接口用来对键进行比较。我们创建了值 NoSpaceComparer，它实现了这个接口[1]。我们实现的是比较字符串，忽略字符串中的所有空格；我们是通过创建工具函数，从任何给定的字符串中移去空格，然后，比较修改后的字符串实现的。我们还实现了一个方法，计算字符串的哈希码，这是用于 Dictionary 类型进行高效查找的。
F# 的类型推断在这个清单中再次提供了帮助。在写对象表达式，以及创建 Dictionary 类的实例时，我们使用了下划线（_），而不是实际的类型；当编译器看到下划线，会使用其他信息，推断出参数的实际类型；在这个例子中，从代码的其他部分，能得到足够的信息。
.NET 程序员熟悉的另一个接口是IDisposable，它是用来显式清理资源的。让我们看看如何能够在 F# 中使用。
原文地址：http://blog.csdn.net/hadstj/article/details/41865909
