XML 格式非常流行，非常适合于保存分层次的数据，比如，上一节的文档。如何处理 XML，对于许多实际应用非常重要，因此，在这一节，我们要扩展我们的应用程序，以支持从 XML 文件加载文档。我们将使用.NET 3.5 的 LINQ to XMLAPI 完成大部分的困难工作，自己再写另外的 XML 解析器没有任何意义。LINQto XML 是函数概念应用于主流框架的很好示例：虽然它不是纯粹的函数式 API（类型一般是可变的），但是对象能够以递归和声明的形式构造，这就使代码的结构一目了然，因此，比使用 DOM
API 的传统代码更容易理解。
在某种意义上，这是数据从一种表示到另一种表示的再次转换。这次，源表示是 LINQ to XML 对象的结构，目标是我们 7.3.1 节的文档数据类型。这次的转换更容易，因为两种数据结构都是分层次的。清单 7.11 是用 XML 格式表示的文档。
清单 7.11 XML 表示的样本文档 (XML)
<titled title="FunctionalProgramming for the Real World"
font="Cambria"size="18" style="bold">
<splitorientation="vertical">
<imagefilename="C:\Writing\Functional\Cover.jpg" /> | 把子部分保存为
<text>In thisbook, we‘ll introduce you (...)</text> | 嵌套的 XML 元素
</split>
</titled>
在看到转换的核心之前，我们需要实现一些工具函数，解析在 XML 中显示的特性值；特别是，我们需要解析字体名和 SplitPart方向的函数。清单 7.12 显示了这些函数，并引入了几个LINQ to XML 库的对象。
清单 7.12 使用 LINQ to XML 解析字体和方向 (F#)
open System.Xml.Linq
let attr(node:XElement, name, defaultValue)= [1]
let attr =node.Attribute(XName.Get(name))
if (attr <> null) thenattr.Value else defaultValue <-- 如果没有，就返回默认值
let parseOrientation(node) = [2]
match attr(node,"orientation", "") with
| "horizontal" –>Horizontal
| "vertical" –>Vertical
| _ -> failwith "Unknownorientation!" <-- 抛出异常
let parseFont(node) = [3]
let style = attr(node,"style", "")
let style =
matchstyle.Contains("bold"), style.Contains("italic") with
| true, false ->FontStyle.Bold
| false, true ->FontStyle.Italic
| true, true ->FontStyle.Bold ||| FontStyle.Italic <-- 组合两个 .NET 枚举值
| false, false ->FontStyle.Regular
let name = attr(node,"font", "Calibri")
new Font(name, float32(attr(node,"size", "12")), style)
这段代码将只引用了System.Xml.dll 和System.Xml.Linq.dll 程序集。在 Visual Studio 中，通常可以从解决方案资源管理器中，用添加引用命令实现；在 F# Interactive 中，可以使用 #r"..." 指令，参数值指定程序集的路径，如果程序集在全局程序集缓存（GAC）中，只要指定名称就行了。
清单开头的 attr 函数[1]，用于读特性，第一个参数是 XElement（LINQ to XML 类型，表示 XML 元素），后面特性的名字，最后一个参数是默认值，当没有这个特性时使用。第二个函数[2]使用 attr 读取传入的 XML 节点中 orientation 特性的值。如果特性包含的不是希望的值，函数将使用标准的 F#failwith 函数，抛出异常。
parseFont [3]用于把 XML 标记的特性，像清单 7.11中的标题，转换成 .NET 中的 Font 对象。最有意义的部分是解析 style 特性，检查特性值是否包含两个字符串（bold 和 italic），作为子字符串，然后，使用模式匹配为四种可能性中的每一个指定样式。这个函数还使用 float32 转换函数，把表示大小的字符串转换成数字，然后创建 Font 实例。
我们已经有了需要的所有工具函数，因此，加载 XML 文档就很容易了。清单7.13 显示了递归函数loadPart，实现全部转换。
清单 7.13从 XML 中加载文档 (F#)
let rec loadPart(node:XElement) =
match node.Name.LocalName with [1]
| "titled" –>
let tx = { Text =attr(node, "title", ""); Font = parseFont node}
let body =loadPart(Seq.head(node.Elements())) <-- 递归加载第一个子元素
TitledPart(tx,body)
| "split" ->
let orient =parseOrientation node
let nodes =node.Elements() |> List.ofSeq |> List.map loadPart <-- 递归加载所有子元素
SplitPart(orient,nodes)
| "text" ->
TextPart({Text =node.Value; Font = parseFont node})
| "image" ->
ImagePart(attr(node,"filename", ""))
| name -> failwith("Unknownnode: " + name) [2]
函数的参数为 XML 元素，我们在以后使用时，我们把 XML 文档的根元素给它。函数主体是一个 match构造[1]，依据已知的选项检查元素的名称，如果遇到未知的标记[2]，就抛出异常。
加载图像和文本部分很容易，因为我们只要使用工具函数，读取特性，并创建相应的 DocumentPart 值。其余两个文档部分类型涉及递归，因此更重要。
要从 titled 元素创建 TitledPart，首先要解析标题文本的特性，然后，递归处理这部分中的第一个 XML 元素。读取第一个子元素，我们调用 Elements() 方法，它以 .NET IEnumerable 集合的形式返回所有子元素。在 F# 中，IEnumerable<T> 简称为 seq<‘a>，因此，可以使用 Seq 模块中的函数来处理，它类似于处理列表的函数。在我们的示例中，我们使用Seq.head，返回集合中的第一个元素（头）。如果我们用 C# 写代码，可以调用Elements().First()
来达到同样的效果。
从 split 元素创建 SplitPart，需要解析所有子元素，因此，我们再次调用 Elements() 方法，但这一次，我们把结果转换为XElement 值的函数式列表。我们递归地把每个元素转换成 DocumentPart 值，使用映射，把 loadPart 函数作为参数值。
这个函数非常简单，因为它只用几行代码，就能为每个受支持的标记解析 XML 节点。之所以这样简单，是因为 XML 文档的分层次，与目标表示形式的方式相同，这样，一个部分有嵌套的子部分时，能够使用递归。
最后，我们会看到应用程序如何显示大文档：在 XML 编辑器中设计文档，比在 F#中创建值更容易。清单7.14 显示了最后的组装，把目前为止我们已经开发的所有代码组合成通常的 Windows 窗体应用程序。
清单 7.14 把应用程序的所有部分组织到一起 (F#)
open System.Windows.Forms
[<System.STAThread>]
do
let doc =loadPart(XDocument.Load(@"..\..\document.xml").Root)
let bounds = { Left = 0.0f; Top =0.0f; Width = 520.0f; Height = 630.0f }
let parts = documentToScreen(doc,bounds)
let img = drawImage (570, 680) 25.0f(drawElements parts)
let main = new Form(Text ="Document", BackgroundImage = img,
ClientSize = Size(570, 680))
Application.Run(main)
代码首先使用XDocument 类，从 XML 文件加载文档。我们把文档的根元素传递给 loadPart 函数，进行文档分层次表示的转换；接下来，我们使用documentToScreen，将它转换成平面表示，然后，使用我们在清单 7.8 中看到的代码，绘制并显示文档。我们还添加了 STAThread 特性，这是独立的 Windows 窗体应用程序所必需的。最后一行，用 Application.Run 方法，启动应用的程序。图 7.4 显示运行的结果。
图 7.4 最终完成的应用程序，显示更复杂的文档，有四种文档部分
我们提到过，文档的分层次表示对于文档的初始构造和操作，都是有用的。现在，我们就来看一看。