12.3.3.1 序列表达式中的平面映射
假设我们有一个关于城市的元组列表，每个元组包含城市的名字和它所在的国家，另外，我们还有一个列表，是用户所选的城市。因此，我们可以这样表示样本数据：
let cities = [ ("New York","USA"); ("London", "UK");
("Cambridge","UK"); ("Cambridge", "USA") ]
let entered = [ "London";"Cambridge" ]
现在，假设我们要找出选定城市的国家。我们可以在 cities 列表中遍历所选的城市，找到国家。你可能可能已经看出了这种方法的问题了：有一个名为 Cambridge 的城市，在英国和美国都有，因此，对于一个城市，需要能够返回多条记录。在清单 12.10 中可以看到，我们在序列表达式中使用两个嵌套的 for 循环。
清单12.10 使用序列表达式联接集合 (F# Interactive)
> seq { for name in entered do [1]
for (n, c) in cities do [2]
if (n = name) then | [3]
yield sprintf "%s(%s)" n c };; |
val it : seq<string> = | 返回剑桥的
seq [ "London (UK)";"Cambridge (UK)"; "Cambridge (USA)" ] | 两个国家
外层的 for 循环遍历 entered 中的名字[1]，嵌套的循环遍历 cities 列表[2]。这样，在嵌套的循环体内部，我们就可以比较每个输入城市的名字，是否与每个已知城市的名字相等。如果名字相同的话，嵌套在两个循环内的代码[3]使用 yield 语句，生成一个项目；如果名字不一样，就不产生任何元素。
用数据库术语来说，这个操作可以用联接（jion）来解释。输入名字的列表与包含城市信息的列表，使用城市名字作为键，进行联接。使用序列表达式来写这个代码是很容易的，它是 F# 中联接编程的首选方式。
我们提到过，任何序列表达式可以写成使用平面映射的操作，因此，我们可以看一下如何显式使用 Seq.collect 重写前面的示例。实际你不会这样做，但是，当我们研究类似于可选工作流，定义自己的、序列表达式时，这将是非常宝贵的。
原文地址：http://blog.csdn.net/hadstj/article/details/43112651
