मैंने हास्केल विकी में जीएडीटी के बारे में पढ़ना शुरू किया लेकिन इसे समझने में काफी सहज महसूस नहीं हुआ। क्या आप एक विशिष्ट पुस्तक अध्याय या एक हास्केल शुरुआती के लिए जीएडीटी समझाते हुए ब्लॉग पोस्ट की
के लिए मैं प्रपत्र v1 = expression1
v2 = expression2
...
मैं राज्य इकाई और मेरे राज्य का उपयोग कर रहा की एक जोड़ी होना चाहिए के कुछ बयानों को पार्स कर रहा हूँ (स्ट्रिंग, Expr क), मैं वास्तव में हो
मान लीजिए हम प्रकार की तुलना के लिए एक GADT परिभाषित eqt :: (Typeable a, Typeable b) => a -> b -> Maybe (EQT a b)
... ऐसा है कि eqt xyबस गवाह का मूल्यांकन करता है, तो typeof एक्स == टी ypeOf y --- औ
एक सरल भाषा को देखते हुए में एक डीएसएल के untyped प्रतिनिधित्व बदलने का कहना है data E where
ValE :: Typeable a => a -> E
AppE :: E -> E -> E
यह तो यह एक टाइप किया प्रतिनिधित्व में रूपांतर
मैं हास्केल के बारे में एक शोध पत्र पढ़ रहा था और एचएलिस्ट कैसे कार्यान्वित किया गया था और सोच रहा था कि जब वर्णित तकनीकें प्रकार के चेकर के लिए निर्णायक नहीं हैं। इसके अलावा, क्योंकि आप जीएडीटी के सा