वहाँ जो कुछ इस तरह करता है हास्केल में एक समारोह है कि अगर किसी को भी पता है हास्केल

Question

में एक प्रकार निर्माता के लिए एक स्ट्रिंग में कनवर्ट करें:

"Int" -> Int 

"String" -> String 

"Bool" -> Bool 

अर्थात्। यह एक प्रकार के कन्स्ट्रक्टर नाम का स्ट्रिंग प्रस्तुति लेता है, और अभिव्यक्ति में और पैटर्न में दोनों को वास्तविक प्रकार के कन्स्ट्रक्टर में परिवर्तित करता है।

संपादित करें: मेरे समग्र लक्ष्य की तरह कुछ सरल करने के लिए है: एक ही पैटर्न मैच में

transExp (Add exp1 exp2) vars 
    = transExp exp1 vars ++ transExp exp2 vars ++ [IAdd] 

transExp (Sub exp1 exp2) vars 
    = transExp exp1 vars ++ transExp exp2 vars ++ [ISub] 

, तो मूल रूप से परिवर्तित एक स्ट्रिंग में जोड़े या उप, सामने करने के लिए एक "मैं" जोड़ने के लिए, और परिवर्तित यह एक प्रकार के लिए वापस।

Answer 1

किसी भी खाका हास्केल या प्रतिबिंब धोखाधड़ी के बिना यहाँ कोड refactor करने के लिए एक बहुत अच्छा तरीका है बस एक में अपने Add और Sub मामलों में शामिल होने से नहीं है:

data BinOp = Add | Sub | ... 

data Expr = ... 
      | BinOp BinOp Expr Expr 
      | ... 

transExp (BinOp op exp1 exp2) vars 
    = transExp exp1 vars ++ transExp exp2 vars ++ [transOp op] 
... 

transOp Add = IAdd 
transOp Sub = ISub 

इस तरह, हम डेटा प्रकार का उपयोग कर रहे सीधे इस तथ्य को व्यक्त करने के लिए कि बाइनरी ऑपरेटरों से संबंधित हैं, और इसलिए इसी तरह के अनुवाद हैं। यदि आप कहीं भी जोड़ने के लिए एक विशेष मामला बनाना चाहते हैं तो आप अभी भी BinOp Add exp1 exp2 पर पैटर्न मिलान कर सकते हैं।

Answer 2

किस संदर्भ में? टेम्पलेट हास्केल और Data.Typeable है, लेकिन वास्तव में उपयोगी उत्तर के लिए आपको अधिक जानकारी प्रदान करने की आवश्यकता है।

Answer 3

ठीक है, यहां समस्या है।

"String" -> String 

निरर्थक शब्दों हास्केल-भूमि में है यही कारण है, क्योंकि "String" एक मूल्य है, लेकिन String एक प्रकार है। तो आप इसे आजमा सकते हैं:

String -> a 

यह वही नहीं करता जो आप चाहते हैं। आपको टाइप हस्ताक्षर कैसे पढ़ना है, सीखना चाहिए, क्योंकि यदि आप प्रकार हस्ताक्षर नहीं पढ़ सकते हैं, तो आपको हास्केल में बुरी तरह से विकलांग होने जा रहे हैं। उपर्युक्त प्रकार का अर्थ है, "मुझे एक स्ट्रिंग दें और मैं आपको किसी भी प्रकार का अनुरोध दे सकता हूं।" इस हस्ताक्षर के साथ प्रस्ताव में एक फ़ंक्शन है, इसे error कहा जाता है, जो आप नहीं चाहते हैं।

ऐसा लगता है की तरह आप इन पंक्तियों के साथ कुछ चाहते हैं:

String -> TypeRep 

क्षमा करें, ऐसी कोई कार्य करते हैं। TypeRepRead कक्षा को तुरंत चालू नहीं करता है।

आप वास्तव में क्या करने की कोशिश कर रहे हैं? यदि आप हमें बताते हैं कि आप वास्तव में क्या करने की कोशिश कर रहे हैं, तो हम इस समस्या से निपटने के बजाय उस समस्या से आपकी सहायता कर सकते हैं।

Answer 4

आप ऐसा नहीं कर सकते हैं, क्योंकि तार रनटाइम डेटा हैं और प्रकार संकलन समय पर पूरी तरह से हल किए जाने हैं। सबसे अच्छा तो आप शायद अपने उदाहरण के साथ कर सकते दोहराव से कुछ को खत्म करने की एक सहायक समारोह है:

helper exp1 exp2 vars op = transExp exp1 vars ++ transExp exp2 vars ++ [op] 
transExp (Add exp1 exp2) vars = helper exp1 exp2 vars IAdd 
transExp (Sub exp1 exp2) vars = helper exp1 exp2 vars ISub 

लेकिन यह वास्तव में लंबे समय में बहुत उपयोगी नहीं हो सकता है, आप कैसे कई मामलों के आधार पर।

सामान्य रूप से, पैटर्न मिलान कुछ ऐसा होता है जो प्रकार संरचनाओं के खिलाफ चलता है, इसलिए इसे ठोस प्रकार के रचनाकारों के खिलाफ संकलन प्रकार पर लिखा जाना चाहिए। वास्तव में ठोस स्थिर प्रकार प्रणाली रखने के लिए आपको वह कीमत चुकानी पड़ेगी।