Quels contrats d'impulsateur Racket a-t-il en plus de «New-∀ / C» et «New-∃ / C»?

Question

Raquette contractes sont classés dans Trois catégories: Contrats plats, contrats de chaperon et contrats d'impulsion.

Pour les contrats d'impulsion, le seul exemple que je pourrais trouver sont les contrats pour polymorphisme paramétrique. Y a-t-il d'autres exemples en plus de ceux-ci?

Answer 1

Contrats d'objet et de classe (par exemple, class/c, object/c, etc.) sont actuellement tous des contrats d'impulsion. Bien que les versions chaperon de ceux-ci puissent éventuellement être proposées. En revanche, il n'est pas possible de faire des contrats paramétriques en contrats de chaperon.

Contrats récursifs construits avec contrat à contrat récursif Par défaut, par défaut, les contrats d'impulsion, mais peuvent être configurés pour être n'importe quel type.