खोज…


परिचय

GHC की प्रकार प्रणाली, रैंक Rank2Types और RankNTypes भाषा एक्सटेंशन के उपयोग के माध्यम से प्रकारों में मनमाने ढंग से स्पष्ट सार्वभौमिक Rank2Types का RankNTypes

वाक्य - विन्यास

  • रैंक 2 की मात्रा या RankNTypes भाषा के विस्तार के साथ मनमाना रैंक Rank2Types सक्षम है।
  • इस एक्सटेंशन को सक्षम करने के साथ, उच्च-रैंक forall जोड़ने के लिए forall keyword का उपयोग किया जा सकता है।

RankNTypes

StackOverflow मुझे एक उदाहरण के लिए मजबूर करता है। यदि यह विषय स्वीकृत है, तो हमें इस उदाहरण को यहां स्थानांतरित करना चाहिए।



Modified text is an extract of the original Stack Overflow Documentation
के तहत लाइसेंस प्राप्त है CC BY-SA 3.0
से संबद्ध नहीं है Stack Overflow