हास्केल में एक भाषा को कार्यान्वित करना: समरूप सूची

Question

मैं हैकेल में एक कार्यात्मक भाषा के लिए एक दुभाषिया बनाने की कोशिश कर रहा हूं (मैं भाषा में नया हूं)। मैं शायद कम से कम एक अजीब मिश्रण और सुविधा का अजीब मिश्रण बना रहा हूं - कोई सार डेटा प्रकार नहीं, लेकिन मैं सजातीय सूचियां बनाने की क्षमता प्रदान करना चाहता हूं।

तो मेरे मूल चर data Datum = DatInt Int | DatDbl Double | DatBool Bool हैं और मुझे एहसास हुआ है कि मुझे बिल्कुल यकीन नहीं है कि सजातीय सूचियों का प्रतिनिधित्व कैसे किया जाए। एक कन्स्ट्रक्टर List Datum जोड़ना या इस तरह का कुछ एक विषम सूची बना देगा, और प्रत्येक प्रकार के लिए एक अलग सूची बनायेगा, यानी ListInt [Int] | ListDbl [Double] सूचियों की सूचियों को रोक देगा।

एक सजातीय सूची का प्रतिनिधित्व करने के लिए सबसे अच्छा तरीका क्या होगा?

Answer 1

एक उपयोगी धारणा (चाहे आप सेक्सी प्रकार के लिए जा रहे हों या नहीं) एक प्रकार का टैग है। गैर-सेक्सी संस्करण से निपटने के लिए बहुत आसान है।

data Tag = IntTag 
     | DoubleTag 
     | BoolTag 
     | ListTag Tag 
    deriving (Eq, Show) 

अब आपके विभिन्न प्रकारों द्वारा इन प्रकारों का प्रतिनिधित्व किया जाता है। IntIntTag द्वारा दर्शाया गया है। Int की एक सूची ListTag IntTag द्वारा दर्शायी जाती है।

अब आप इस तरह टाइप एनोटेट भाव कुछ का प्रतिनिधित्व कर सकते हैं: `सूची

data Expr = IntLit Int 
      | DoubleLit Double 
      | BoolLit Bool 
      | ListLit Tag [Expr] 

-- Check that an expression is validly annotated 
typeCheck :: Expr -> Maybe Tag 
typeCheck IntLit{} = Just IntTag 
... 
typeCheck (ListLit tag els) 
    | all good els = Just (ListTag tag) 
    | otherwise = Nothing 
    where 
    good el = case typeCheck el of 
       Nothing -> False 
       Just res = res == tag