racket - 除了 `new-∀/c` 和 `new-∃/c` 之外，Racket 还有哪些模拟合约？

Question

球拍合同分为三类：平面合同、陪护合同和模仿者合同。

对于 Impersonator 合约，我能找到的唯一例子是parametric polymorphism的合约。除了这些，还有其他例子吗？

Answer 1

对象和类合约（例如 、class/c等object/c）目前都是模拟合约。尽管最终可能会提供这些的伴侣版本。相反，不可能将参数合同变成伴侣合同。

使用 recursive- contract 构造的递归合约也默认为模拟合约，但可以配置为任何类型。