第十二章 面向语言编程
在这一章,首先了解什么是面向语言的编程(language-oriented programming),许多人都在用,定义也各不相同。我们将主要讨论它的优点、不足;然后,再看F# 中面向语言编程的几种不同方法,这些方法包括使用 F# 文字创建“小语言”(little languages),使用 F# 引用(quotations),本章的大部分将讨论创建一种语言的示例,再创建一种解析器来运行这种语言;最后,再详细地讨论语言的运行,包括解释与编译运行的性能比较。
什么是面向语言编程?
虽然面向语言编程这个术语描述了许多不同的编程技术,但它们有一个共同的主题,即,对程序员来说,必须实现一种预定义的语言,是很常见的;通常是因为要从保存的消息、接收的字符串或者 XML 数据中提取结构化的数据,都要遵守这种预定义的语言。本章中介绍的的这些方法技术将有助于更可靠地完成。与此相关的思想就是小语言,也叫特定域语言(domain-specific languages DSLs)。需要创建 DSL 来解决问题,最好是这样的情况,即,创建一种自定义的语言来描述问题,然后,用这种语言去解决问题。函数编程总是和面向语言编程有紧密的联系,因为函数编程语言通常有这样的功能,非常适合于创建解析器和编译器。