Rank2Types를 사용하여 RankNTypes를 사용하면 어떤 이점이 있습니까?

Question

내가 아는 한, 랭크 2 형에 대한 결정형 (decidable) 타입 검사 알고리즘이있다. GHC는 어떻게 든이 사실을 사용합니까? 그리고 실용적인 의미가 있습니까?

순위 2 유형 및 유형 유추 알고리즘에 대한 주요 유형 개념이 있습니까? 그렇다면 GHC는 그것을 사용합니까?

등급 2 이상의 다른 등급의 장점이 있습니까? n 유형입니까?

Answer 1

Rank2Types은 RankNTypes에 대해 synonym입니다. 그래서 에는 rank-2보다 rank-2의 장점이 없습니다.

Answer 2

원칙적으로 유형 검사는 2 등급 유형에 대해 결정할 수 있습니다. 하지만, GHC에는 결코 포함되지 않을 것입니다 (지나치게 복잡하고 형식 시스템의 다른 기능과 잘 섞이지 않습니다). 그래서 아니야. Rank2Types는 더 이상 사용되지 않습니다 (좋아요, 경고는 아니지만 그렇습니다). 따라서 RankNTypes를 사용하십시오.