라켓은`new-∀/c` 및`new-∃/c` 외에 어떤 계약을 가지고 있습니까?

Question

라켓 계약 분류됩니다 세 가지 범주: 평면 계약, 샤페론 계약 및 가장 한 계약 계약.

가장 한 계약의 경우, 내가 찾을 수있는 유일한 예는 계약입니다. 파라 메트릭 다형성. 이것들 외에 다른 예가 있습니까?

Answer 1

개체 및 클래스 계약 (예 : class/c, object/c, 등)는 현재 모두 가장 한 계약입니다. 샤페론 버전은 결국 제공 될 수 있습니다. 대조적으로, 매개 변수 계약을 샤페론 계약으로 만들 수는 없습니다.

재귀 계약 재귀 계약 또한 가장 기본 계약 계약에 대한 기본이지만 모든 유형으로 구성 할 수 있습니다.