Tutorial by Topics: rankntypes를



GHC의 형식 시스템은 Rank2TypesRankNTypes 언어 확장을 사용하여 형식에서 임의 순위의 명시 적 보편적 양화를 지원합니다.


Page 1 of 1