racket - ラケットは`new-∀/c`と`new-∃/c`の他に何のなりすまし契約を結んでいますか?

Question

ラケット契約は、フラット契約、シャペロン契約、なりすまし契約の3 つのカテゴリに分類されます。

Impersonator コントラクトの場合、私が見つけた唯一の例は、パラメトリック ポリモーフィズムのコントラクトです。これら以外の例はありますか？

Answer 1

オブジェクトとクラス コントラクト(例: class/c、object/cなど) は現在、すべて偽装コントラクトです。それらのシャペロンバージョンが最終的に提供されるかもしれませんが. 対照的に、パラメータ コントラクトをシャペロン コントラクトにすることはできません。

recursive-contractで構築された再帰コントラクトも、デフォルトで偽装コントラクトになりますが、任意のタイプに構成できます。