Какие контракты с имитаторами имеют Racket в дополнение к `new-∀/c` и` new-∃/c`?

Question

Ракетка контракты классифицируются в три категории: Клаженные контракты, контракты с шапероном и контракты с подражателем.

Для контрактов с подражателем единственный пример, который я мог найти, - это контракты на параметрический полиморфизм. Анкет Есть ли другие примеры в дополнение к этому?

Answer 1

Контракты объекта и класса (например, class/c, object/c, и т. д.) в настоящее время все контракты с подражателем. Хотя версии этих шаперонов могут быть предложены в конечном итоге. Напротив, невозможно заключить параметрические контракты на контракты с шапероном.

Рекурсивные контракты, построенные с рекурсивный контракт Также по умолчанию по умолчанию контрактов с подражателем, но может быть настроен как любой тип.