gadt

20गर्मी

2उत्तर

मैं एक जीएडीटी में साझाकरण कैसे प्राप्त कर सकता हूं?

Type-Safe Observable Sharing in Haskell में एंडी गिल दिखाता है कि डीएसएल में हास्केल स्तर पर मौजूद साझाकरण को कैसे पुनर्प्राप्त करना है। उनका समाधान data-reify package में लागू किया गया है। क्या इस दृ

6गर्मी

1उत्तर

मुझे अपने जीएडीटी आधारित खिलौने गतिशील प्रकार को पैरामीट्रिक प्रकार

के साथ काम करने के लिए नहीं मिल सकता है इसलिए मुझे कुछ और उन्नत हास्केल/जीएचसी सुविधाओं और अवधारणाओं को समझने में मदद करने के लिए, मैंने एक जीएडीटी-आधारित कार्यान्वयन करने का निर्णय लिया गतिशील रूप से

13गर्मी

2उत्तर

जीएडीटी बनाम मल्टीपार्म टाइप टाइप

मैं GADTs को समझने की कोशिश कर रहा हूं, और मैंने जीएचसी के मैनुअल में GADTs example को देखा है। जहाँ तक मेरा बता सकते हैं, यह MultiParamTypeClasses साथ एक ही बात करने के लिए संभव है: {-# LANGUAGE Mult

8गर्मी

2उत्तर

एफ # में हास्केल जीएडीटी और टाइपक्लास के सबसे नज़दीकी चीज क्या है?

एफ # ओओपी के साथ एक एमएल है। हास्केल सामान्यीकृत बीजगणितीय डेटा प्रकारों और टाइपक्लास के लिए सबसे नज़दीक क्या है?

5गर्मी

1उत्तर

GADT बहुरूपी सूची

के लिए मैं प्रपत्र v1 = expression1 v2 = expression2 ... मैं राज्य इकाई और मेरे राज्य का उपयोग कर रहा की एक जोड़ी होना चाहिए के कुछ बयानों को पार्स कर रहा हूँ (स्ट्रिंग, Expr क), मैं वास्तव में हो

9गर्मी

1उत्तर

रनटाइम तुलना

मान लीजिए हम प्रकार की तुलना के लिए एक GADT परिभाषित eqt :: (Typeable a, Typeable b) => a -> b -> Maybe (EQT a b) ... ऐसा है कि eqt xyबस गवाह का मूल्यांकन करता है, तो typeof एक्स == टी ypeOf y --- औ

5गर्मी

1उत्तर

टाइप किया प्रतिनिधित्व

एक सरल भाषा को देखते हुए में एक डीएसएल के untyped प्रतिनिधित्व बदलने का कहना है data E where ValE :: Typeable a => a -> E AppE :: E -> E -> E यह तो यह एक टाइप किया प्रतिनिधित्व में रूपांतर

13गर्मी

1उत्तर

Agda

पर पैरामैट्रिज्ड इंडेक्टिव प्रकार मैं केवल Dependent Types at Work पढ़ रहा हूं। परिचय प्रकार parametrised करने के लिए, लेखक का उल्लेख है कि इस घोषणा data List (A : Set) : Set where [] : List A

14गर्मी

1उत्तर

डेटा प्रकार

के साथ जीएडीटी पर हास्केल पैटर्न मिलान मुझे पता चला है कि मैं वास्तव में डेटा प्रकार के साथ जीएडीटी को जोड़ना पसंद करता हूं, क्योंकि यह मुझे पहले से अधिक सुरक्षा प्रदान करता है (अधिकांश उपयोगों के लिए

7गर्मी

1उत्तर

फ़ंक्शन रिटर्न प्रकारों में मौजूद मात्रात्मक मात्रा को सिमुलेट करना

कभी-कभी मुझे अस्तित्व में प्रमाणित प्रकार के मान वापस करने की आवश्यकता होती है। ऐसा अक्सर होता है जब मैं प्रेत प्रकारों के साथ काम कर रहा हूं (उदाहरण के लिए एक संतुलित पेड़ की गहराई का प्रतिनिधित्व कर