在这一章，我们将要开发一个用于显示文档的应用程序。首先设计文档的表示形式，适合于绘制在屏幕上。使用这种表示方式，文档就是元素的列表，其中包含一定内容（可以是文本，也可以是图像），和指定的边框，在边框中绘制具体内容。图7.1是一个文档的示例，有三个突出显示的元素。
我们看一下用 F# 表示文档的数据结构。清单 7.4 引入了新的表示两种类型元素的差别联合，和新的表示文本元素的记录类型，还使用了我们先前定义的 Rect 类型。
图 7.1 示例文档包含三个元素，两个显示不同字体的文本和一个显示图像。
清单 7.4 平面文档的表示 (F#)
open System.Drawing <-- 包含字体类
type TextContent = [1]
{ Text : string
Font : Font }
type ScreenElement = [2]
| TextElement of TextContent * Rect
| ImageElement of string * Rect <-- 保存图像文件名
在此示例中，我们定义了两个类型。首先，我们定义了名为 TextContent 的记录类型，表示用于绘制的文本和字体，第二个类型称为 ScreenElement，是差别联合，有两个可选值。第一个可选值存储文本内容，第二个包含图像的文件名。两者都有一个 Rect 来定义绘制的边框。清单7.5 显示了表示图 7.1 的示例文档的代码，用到了我们新的数据类型。
清单 7.5 用元素列表表示示例文档 (F#)
let fntText = new Font("Calibri",12.0f) | 创建标题和常规文本的字体
let fntHead = new Font("Calibri",15.0f) |
let elements = <-- 创建ScreenElement 值列表
[ TextElement
({ Text ="Functional Programming for the Real World"
Font = fntHead },
{ Left = 10.0f;Top = 0.0f; Width = 410.0f; Height = 30.0f });
ImageElement
("cover.jpg",
{ Left= 120.0f; Top = 30.0f; Width = 150.0f; Height = 200.0f });
TextElement
({ Text ="In this book, we‘ll introduce you to the essential " +
"concepts of functional programming, but thanks to the .NET " +
"Framework, we won‘t be limited to theoretical examples. " +
"We‘ll use many of the rich .NET libraries to show how " +
"functional programming can be used in the real world."
Font = fntText },
{Left = 10.0f; Top = 230.0f; Width = 400.0f; Height = 400.0f }) ]
首先，我们定义两种不同文本元素的字体，然后，构造包含元素的列表。创建元素时，我们使用了前面讨论的语，创建了几个 F# 记录类型值。用这种方式构造结构化文档，并不实用；在 7.3 节，我们将设计另一种表示形式，更适合创建文档。在此之前，我们仍用这种表示形式保存文档，将实现绘制文档的函数。