除`new-∀/c`和`new-∃/c`外，还有哪些模仿者合同？

Question

球拍 合同 被分类 三类: ：统一合同，伴侣合同和模仿者合同。

对于模仿合同，我唯一能找到的例子是 参数多态性. 。除此之外还有其他例子吗？

Answer 1

对象和班级合同 （例如， class/c, object/c, 等）目前都是模仿者合同。尽管最终可能会提供伴侣版本。相反，不可能将参数合同纳入伴侣合同。

构建的递归合同 递归合同 也默认为模仿者合同，但可以配置为任何类型。