Haskell Language
RankNTypes를 사용한 임의의 순위 다형성

algorithm C Language C++ clojure F# Java Language GNU/Linux Python Language Regular Expressions Scala Language
수색…


소개

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