हास्केल के बीजगणितीय डेटा प्रकार: "छद्म-विस्तार"

Question

मैं हैकेल में बीजगणित डीटी के बारे में सीख रहा हूं। मैं जो करना चाहता हूं वह एक नया एडीटी बनाता है जो कि मौजूदा "विस्तार" करता है। मुझे यह नहीं पता कि मैं जो चाहूं उसे व्यक्त करना है, क्या कोई वैकल्पिक पैटर्न को हल कर सकता है या समाधान हल कर सकता है। मैं चाहता हूं कि वे अलग-अलग प्रकार हों, लेकिन एक मूर्ख समाधान की तरह केवल सीमों की प्रतिलिपि बनाना और पेस्ट करना। नीचे दिया गया कोड सबसे अच्छा वर्णन करता है कि मैं क्या चाहता हूं।

data Power = 
    Abkhazia | 
    -- A whole bunch of World powers and semi-powers 
    Transnistria 
    deriving (Eq, Show) 

data Country = 
    --Everything in Power | 
    Netural | 
    Water 
    deriving (Eq, Show) 

संपादित करें: मुझे लगता है कि यह एक छोटे से स्पष्टीकरण की जरूरत है ... मैं इस (GHCi में) करने के लिए

let a = Abkhazia :: Country 

और नहीं

let a = Power Abkhazia :: Country 

Answer 1

आप की जरूरत है सक्षम होना चाहते हैं उन्हें पेड़ के रूप में प्रस्तुत करें:

data Power 
     = Abkhazia 
     | Transnistria 
    deriving (Eq, Show) 

    data Country 
     = Powers Power -- holds values of type `Power` 
     | Netural  -- extended with other values. 
     | Water 
    deriving (Eq, Show) 

---

संपादित करें: प्रश्न का आपका विस्तार थोड़ा आसान बनाता है: देश और पावर प्रकार दोनों "सामान्य" व्यवहार के रूप में कुछ सामान्य व्यवहार साझा करते हैं। यह सुझाव देता है कि आप डेटा प्रकार के सामान्य व्यवहार देने के लिए खुले, एक्स्टेंसिबल प्रकार प्रकार हास्केल की सुविधा का उपयोग करें। जैसे

data Power = Abkhazia | Transistria 

    data Countries = Neutral | Water 

तो, बातें दोनों पावर और देशों की हिस्सेदारी के लिए एक प्रकार वर्ग:

class Countrylike a where 
     landarea :: a -> Int -- and other things country-like entities share 

    instance Countrylike Power where 
     landarea Abkhazia = 10 
     landarea Transistria = 20 

    instance Countrylike Countries where 
     landarea Neutral  = 50 
     landarea Water  = 0 

तो आप landarea सफाई से या तो शक्तियों या देशों पर उपयोग कर सकते हैं। और आप इसे और उदाहरण जोड़कर भविष्य में नए प्रकारों तक बढ़ा सकते हैं।

Answer 2

{-# LANGUAGE GADTs, StandaloneDeriving #-} 
data POWER 
data COUNTRY 

data CountryLike a where 
    Abkhazia :: CountryLike a 
    Transnistria :: CountryLike a 
    Netural :: CountryLike COUNTRY 
    Water :: CountryLike COUNTRY 

deriving instance Show (CountryLike a) 
deriving instance Eq (CountryLike a) 

type Power  = CountryLike POWER 
type Country = CountryLike COUNTRY 

foo :: Power 
foo = Abkhazia 

bar :: Country 
bar = Abkhazia 

baz :: Country 
baz = Netural 

संपादित करें: एक वैकल्पिक type Power = forall a. CountryLike a होगा (लाभ: बनाता है PowerCountry की एक उप-प्रकार नुकसान:। इस उदाहरण के Power -> Int एक उच्च रैंक प्रकार है, जो कष्टप्रद हो जाते हैं (प्रकार निष्कर्ष आदि) होगा)