15.1.2 定义符号

15.1.2 定义符号

LISP 代码可读性很好，很容易理解它的意思，代码不展现任何技术细节。我们不能说，要创建一个对象，把动画表示成可以处理的树形数据结构，或者要创建一个函数，知道如何绘制这个动画。这是有关声明式编程的好事情，我们只要使用这些库，无需考虑技术细节。

当然，技术细节还是要在某个地方表示的，即把它们实现成库。在 F# 和 C# 中，创建可组合库的选项，与我们可以在 LISP 遵循的以下两种方式是非常相似的：

■ 代码可以构建类似于树的数据结构，保存所有基元，以及它们是如何组合的。在前面的 LISP 示例中，与这个代码语法完全对应。我们会得到一个包含符号和其他列表的列表。这选项意味着，我们把所有功能（例如，绘制动画）实现为一个单独的函数，取这个数据结构作为参数 [1]。

■ 我们把这个代码解释为可执行的计算。在执行时，计算构建一个函数值或对象类型，执行所需的操作，例如，在指定时间绘制动画。在这种情况下，基元是简单的函数值或对象。基元组合成的是一些函数，取函数值或对象作为其参数值，并构建一个组合。

这两种技术都可用于开发 C# 和 F# 中的可组合库。第一种方法更适合于确切知道需要哪些基元和操作，来组合。第二种方法适合于知道如何使用组合的实体。在 15.2 节中，我们将使用第二种方法。当设计动画库时，我们知道，希望能够在指定的时间绘制动画，而不需要执行任何其他操作。

关于可组合的函数库另一个有趣的问题，是代码通常看起来不像 LISP、F#，甚至 C#，而看上去好象是在用这样的语言在写，为解决特定问题域的问题而设计的（例如，一种用于创建动画的语言）。

F#中面向语言（Language-oriented）的编程

面向语言编程是指写代码以某种方式类似于编程语言，以某种方式扩展这种语言、修改其意义，或改变其执行环境。在 LINQ 中，我们可以用它来描述 LINQ to SQL 做什么，当它在 SQL 服务器上执行用 C# 3.0 写的查询时。这就是面向语言编程，因为，它改变了 C# 代码的执行环境，通过将表达式树转换为 SQL 语句。在 F# 中，它用于 F# 引用（quotations）（对应于 C# 中的表达式树） ，或计算表达式。在这种情况下，我们将改变 F# 代码的标准意义。不是按顺序运行，阻止一个线程，而是修改它，使其异步运行。

这一术语也可以用于在这一章中正在讨论的组合库。在某种意义上，我们正在设计一讨论会语言，用于解决特定域的问题。在本章中，领域就是创建动画，而不是其他的例子，包括处理数据的集合（使用函数处理列表），或指定业务规则。这些库有时称为嵌入式特定领域语言 (embedded domain-specific languages，DSL)。嵌入式，是指这样的事实，我们并不创建单独的编程语言，而是以某种方式扩展宿主语言（C# 或 F#）。

按照函数式编程的传统，术语 DSL，表示的是与声明性函数库相同的事情，但近年来，DSL 术语，逐渐更为流行，已经用于大量的编程语言，有了不同的含义。在这本书中，我们将关注于创建设计良好的声明性库。像我们在介绍中提到的，这一目标的关键是经可组合的方式，写出库。我们将在许多方面，遵循面向语言的编程风格，因为，我们会努力使语法尽可能漂亮。你会看到，许多技术对于在 F# 和 C# 中创建 DSL 是有用的，但这并不是这一章的主要目标。

我们这一章的目标，是创建声明性的函数库。前面我们列出了选项，现在，看一下第一个选项：创建库，生成数据结构的代码。

--------------------------------

[1] 用来描述这些方法的术语，并不统一。在《Expert F#》中 [Syme, Granicz, and Cisternino,2007]，这种方法称为抽象语法表示（abstract syntax representation），强调与语法相对应的数据结构。Martin Fowler [Fowler, 2008]，称类似的构造为文本集合表达式（literal collection expressions），因为它们被构造为文本的集合 （就像 LISP 中的符号列表） 。