Haskell Language
रैंकनेटटेप्स के साथ महत्वाकांक्षी-रैंक बहुरूपता
खोज…
परिचय
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