¿Qué contratos de imitador tiene Racket además de `New-∀/C` y` New-∃/C`?

Question

Raqueta contratos están clasificados en Tres categorías: Contratos planos, contratos de chaperona y contratos de imitadores.

Para los contratos de imitador, el único ejemplo que pude encontrar son los contratos para polimorfismo paramétrico. ¿Hay otros ejemplos además de estos?

Answer 1

Contratos de objeto y clase (p.ej, class/c, object/c, etc.) son actualmente todos los contratos de imitadores. Aunque las versiones de chaperone de ellas pueden ofrecerse eventualmente. En contraste, no es posible convertir contratos parametéricos en contratos de chaperona.

Contratos recursivos construidos con contratación recursiva También predeterminado a contratos de imitadores, pero se puede configurar para ser cualquier tipo.