Question

Mixin 是将超类参数化的类声明。当类的继承层次结构中存在共享部分，而单继承又不足以表达时，mixin 可以组合创建新类。

因为我们的类由函数实现的，是一等的值（first-class value），所以 mixin 的实现是“免费的”。

(define (foo-mixin cl)
  (CLASS cl (....) (....)))

(define (bar-mixin cl)
  (CLASS cl (....) (....)))

(define Point (CLASS () ....))

(define foobarPoint
  (foo-mixin (bar-mixin Point)))
(define fbp (foobarPoint 'create))
....

Mixin 和接口结合，可以检查给定的基类是否实现了一组特定的接口。定义 MIXIN 语法形式：

(MIXIN (interface-expr ...) decl ...)

这应该是个函数，其输入是基类，先检查该基类实现了所有指定的接口，然后返回（用给定的声明）扩展基类所得的新类。