확장 TypeInType (deprecated) (작성예정)

Posted on January 5, 2023

GHC 8부터는 카인드를 타입과 다른 레벨로 보는게 아니라, 카인드 폴리모픽을 확장해서 타입과 카인드도 하나의 타입으로 봅니다. (참고 지라르의 역설) GHC는 타입과 카인드를 구별하지 않습니다.

타입 Bool과 카인드 레벨로 끌어올려진promoted 카인드 Bool은 동일한 것으로 본다는 얘기입니다. (여전히 값생성자는 다른 것으로 취급합니다.)

(작성 중)

Github 계정이 없는 분은 메일로 보내주세요. lionhairdino at gmail.com