在上期讨论中我们介绍了Scala Macros，它可以说是工具库编程人员不可或缺的编程手段，可以实现编译器在编译源代码时对源代码进行的修改、扩展和替换，如此可以对用户屏蔽工具库复杂的内部细节，使他们可以用简单的声明方式，通过编译器自动产生铺垫代码来实现工具库中各种复杂的类型、对象及方法函数的构建。虽然Def Macros可能具备超强的编程功能，但同时使用者也普遍认为它一直存有着一些严重的诟病：包括用法复杂、容易犯错、运算行为难以预测以及没用完善的集成开发环境工具（IDE）支持等。这些恶评主要是因为Def Macros和编译器scalac捆绑的太紧，使用者必须对编译器的内部运作原理和操作函数有比较深刻的了解。加之Def Macros向用户提供的api比较复杂且调用繁琐，其中比较致命的问题就是与scalac的紧密捆绑了：因为Def Macros还只是一项实验性功能，没有scala语言规范文件背书，肯定会面临升级换代。而且scala本身也面临着向2.12版本升级的情况，其中dotty就肯定是scalac的替代编译器。Scalameta是根据scala语言规范SIP-28-29-Inline-Macros由零重新设计的Macros编程工具库。主要目的就是为了解决Def Macros所存在的问题，而且Jetbrains的IntelliJ IDEA 2016.3 EAP对Scalameta已经有了比较好的支持，能为使用者带来更简单、安全的Macros编程工具。
我在介绍了Slick之后立即转入Scala Macros是有一些特别目的的。研究FRM Slick乃至学习泛函编程的初衷就是希望能为传统的OOP编程人员提供更简单易用的泛函库应用帮助，使他们无须对函数式编程模式有太深刻了解也能使用由函数式编程模式所开发的函数库。实现这个目标的主要方式就是Macros了。希望通过Macros的产生代码功能把函数库的泛函特性和模式屏蔽起来，让用户能用他们习惯的方式来定义函数库中的类型对象、调用库中的方法函数。
Macros功能实现方式（即编译时的源代码扩展compile time expansion）由两个主要部分组成：一是在调用时扩展（on call expansion），二是申明时扩展即注释（annotation）。这两种方式我们在上一篇讨论里都一一做了示范。通过测试发现，Scalameta v1.x只支持注释方式。这事动摇了我继续探讨的意愿：试想如果没了”Implicit Macros“，“Extractor Macros“这些模式，会损失多少理想有趣的编码方式。通过与Scalameta作者沟通后得知他们将会在Scalameta v2.x中开始支持全部两种模式，因此决定先介绍一下Scalameta v1.x，主要目的是让大家先熟悉了解Scalameta新的api和使用模式。我们可以把上次Def Macros的Macros Annotations示范例子在Scalameta里重新示范一遍来达到这样的目的。
虽然Scalameta是从头设计的，但是它还是保留了许多Def Macros的思想，特别是沿用了大部分scala-reflect的quasiquote模式。与De
延伸阅读
学习是年轻人改变自己的最好方式