`new-∀/c`および` new-∃/c`に加えて、ラケットにはどのようななりすまし契約がありますか？

Question

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

なりすまし契約の場合、私が見つけることができる唯一の例はの契約です パラメトリック多型. 。これらに加えて他の例はありますか？

Answer 1

オブジェクトとクラスの契約 （例えば、 class/c, object/c, 、など）は現在、すべてのなりすまし契約です。それらのシャペロンバージョンは最終的に提供される場合があります。対照的に、パラメータ契約をシャペロン契約に契約することはできません。

構築された再帰契約 再帰契約 また、デフォルトのなりすまし契約にもデフォルトですが、任意のタイプになるように構成できます。