Question

（在我们的语言中）实现新的语法形式，定义接口，接口可以扩展超接口：

(interface (superinterface-expr ...) id ...)

实现新的语法形式，类可以实现（多个）接口：

(CLASS* super-expr (interface-expr ...) decls ...)
;decls 为类主体中的申明

例如：

(define positionable-interface
  (interface () get-pos set-pos move-by))

(define Figure
  (CLASS* Root (positionable-interface)
     ....))

扩展类的协议，使之能检查某个类是否实现了某个接口：

> (implements? Figure positionable-interface)
#t