[真心不知道，Hole in the Middle 是什么意思？]
写代码的一个常见情形，是首先进行初始化，然后，是函数的核心部分，最后，是一些清理工作；在程序中的多个位置，重复执行类似的操作，初始化和清理部分没有变化，而只有核心部分不同。在内存中绘制位图的示例，用 C# 写的代码可能像这样：
var bmp = new Bitmap(width, height)
using(var gr = Graphics.FromImage(bmp)) {
(...)
}
这里，代码的核心部分是第三行的占位符，我们将用值 gr 来绘图。问题是，只使用面向对象的编程概念，不能简单地把执行初始化和清理的代码，包装成一个子程序，实现在绘制不同图形的所有地方共享。C# 语言支持这种模式众所周知，通常使用各种初始化和清理的类型；using 构造就是这种情况。我们如何为自己的代码模式实现类似的功能呢？
用函数式编程，解决起来很简单；可以写一个高阶函数，把核心部分包装到 lambda 函数中，并把它作为高阶函数的参数值：
var bmp = DrawImage(width, height, gr => {
(...)
});
从函数编程的角度来看，这仅是一个使用高阶函数的无趣示例，但是，它描述了这样一种情况，先执行一些初始化，接着是核心部分，然后是清理，而且这种情况非常普遍，所以，需要有一个专门的名字。这个名字是由 Brian Hurt 在他的博客《“Hole in the Middle（中间有洞）”模式》[Hurt, 2007] 中首次使用，它很好地描述了这种情况，即，每次使用代码，只有中间的部分需要用不同的功能填充。
清单 7.7 是用 F# 实现的函数，类似于补充材料“Hole in the Middle（中间有洞）模式”中的 DrawImage，有一点不同，用两个参数指定创建位图的大小，还能够指定图像边框的边距。
清单 7.7 绘制图形的函数 (F# Interactive)
> let drawImage (width:int, height:int) space coreDrawingFunc =
let bmp = new Bitmap(width, height)
use gr = Graphics.FromImage(bmp) [1]
gr.Clear(Color.White)
gr.TranslateTransform(space, space) <-- 移动整个图像
coreDrawingFunc(gr) [2]
bmp
;;
val drawImage : int * int -> float32 -> (Graphics -> unit) –> Bitmap [3]
我们使用这个函数来绘制图像，绘图的核心部分是作为最后参数给定的函数，从类型签名[3]可以看出，这个函数的参数为 Graphics 值，不返回结果；在代码的中间[2]，创建位图和 Graphics 对象之后，被调用。在初始化阶段，我们还调用 TranslateTransform，提供图像的边距。
我们创建的 Graphics 对象实现了 IDisposable，所以，需要在完成绘图后释放。在 C# 中，我们使用知名的 using 构造；在 F# 中，用 use 关键字[1]，可以做类似的工作。在清单 7.7 中，在返回结果的位图之前，自动释放 Graphics 对象。use 关键字的与 using 有点不同，我们将在第九章讨论。
最后，我们需要看代码的实际效果。现在，我们将用交互方式创建并测试窗体。清单 7.8 演示了如何绘制清单 7.5 的屏幕元素，以及把文档显示在窗体上。
