Quais contratos de imitador que a Racket possui, além de `new-∀/c` e` new-∃/c`?

Question

Raquete contratos são classificados em três categorias: Contratos planos, contratos de acompanhante e contratos de imitador.

Para contratos de imitador, o único exemplo que pude encontrar são os contratos para Polimorfismo paramétrico. Existem outros exemplos além disso?

Answer 1

Contratos de objeto e classe (por exemplo, class/c, object/c, etc.) são atualmente todos contratos de imitador. Embora as versões de acompanhante delas possam ser oferecidas eventualmente. Por outro lado, não é possível fazer contratos parametéricos em contratos de acompanhante.

Contratos recursivos construídos com Contrato recursivo Também padrão para contratos de imitador, mas pode ser configurado para ser qualquer tipo.