Welche Imitatorverträge hat Racket zusätzlich zu `New-∀/c` und` New-∃/C`?

Question

Schläger Verträge werden eingestuft in drei Kategorien: Flatverträge, Chaperone -Verträge und Imitatorverträge.

Für Imitatorverträge ist das einzige Beispiel, das ich finden konnte, für die Verträge parametrischer Polymorphismus. Gibt es zusätzlich zu diesen anderen Beispielen?

Answer 1

Objekt- und Klassenverträge (z.B, class/c, object/c, usw.) sind derzeit alle Imitatorverträge. Obwohl Chaperon -Versionen von diesen irgendwann angeboten werden können. Im Gegensatz dazu ist es nicht möglich, Parameterverträge in Chaperon -Verträge abzuschließen.

Rekursive Verträge mit erbautem mit rekursiver Vertrag Auch standardmäßige Imitatorverträge, kann jedoch als jede Art konfiguriert werden.