Question

在我们的 OBJECT 宏中使用上述模式：

(defmac (OBJECT ([field fname init] ...)
                ([method mname args body] ...))
  #:keywords field method
  (letrec ([self
            (let ([fname init] ...)
              (let ([methods (list (cons 'mname (λ args body)) ...)])
                (λ (msg . vals)
                  (apply (cdr (assoc msg methods)) vals))))])
    self))

(defmac (-> o m arg ...)
  (o 'm arg ...))

用一些点对象试试：

(define (make-point init-x)
  (OBJECT
   ([field x init-x])
   ([method x? () x]
    [method x! (nx) (set! x nx)]
    [method greater (other-point)
            (if (> (-> other-point x?) x)
                other-point
                self)])))

> (let ([p1 (make-point 5)]
        [p2 (make-point 2)])
    (-> p1 greater p2))
self: undefined;
 cannot reference undefined identifier

什么？？我们明明用 letrec 定义了 self，为什么报错说它没有定义呢？原因是—— 卫生 ！要知道 Scheme 的 syntax-rules 是卫生的，因此，它会透明地重命名宏引入的所有标识符，以确保在宏展开后他们不会意外绑定或者被绑定。使用 DrRacket 的宏步进器（macro stepper）可以很清楚地观察到这一点。你会看到，greater 方法中的 self 标识符与 letrec 表达式中的同名标识符的颜色不同。

幸运的是，defmac 支持一种方法，指定宏本身引入的标识符也可以被用户代码使用。这里我们唯一需要做的是指定 self 就是这样的标识符：

(defmac (OBJECT ([field fname init] ...)
                ([method mname args body] ...))
  #:keywords field method
  #:captures self
  (letrec ([self
            (let ([fname init] ...)
              (let ([methods (list (cons 'mname (λ args body)) ...)])
                (λ (msg . vals)
                  (apply (cdr (assoc msg methods)) vals))))])
    self))