Haskell Language
RankNTypes를 사용한 임의의 순위 다형성
수색…
소개
GHC의 형식 시스템은 Rank2Types
및 RankNTypes
언어 확장을 사용하여 형식에서 임의 순위의 명시 적 보편적 양화를 지원합니다.
통사론
-
Rank2Types
또는RankNTypes
언어 확장을 통해 임의의 순위 정량을 사용할 수 있습니다. - 이 확장 기능을 사용하면
forall
키워드를 사용하여 더 높은 순위의 정량을 추가 할 수 있습니다.
RankNTypes
StackOverflow는 내가 한 가지 예를 갖도록 강요합니다. 이 주제가 승인되면 여기 에서이 예제를 옮겨야 합니다 .
Modified text is an extract of the original Stack Overflow Documentation
아래 라이선스 CC BY-SA 3.0
와 제휴하지 않음 Stack Overflow