方案 - 关于新类型的一般问题

Question

我们能否在Scheme中定义新类型，以便Scheme能够识别它们并 强制执行它们的不变量？

换句话说，当我定义圆的ADT（make_circle、get_radious等）时，我可以在Scheme中将它用作新类型吗？

Answer 1

SRFI-9 定义 Define-record-type 宏。大多数方案都有定义记录、定义结构或类似的变体，我认为这是定义记录类型的简化。

然后许多方案都有某种类型的类似 CLOS 的对象系统，例如 tinyclos 或 Chicken 的 < a href="http://wiki.call-cc.org/eggref/4/coops" rel="nofollow">Coops - 两者都实现了多种方法，这非常好。

使用 SRFI-9 的示例：

(define-record-type circle
    (make-circle r)
    circle?
    (r get-radius))

然后在您的 REPL 中：

>> (define c (make-circle 12))
>> c
#<circle>
>> (get-radius c)
12
>> 

Answer 2

球拍具有强大的类型系统。此外，define-struct 在方案中也得到了很好的支持。