嵌套/分數據類型

Question

那麼，什麼將是很好的，如果你可以做類似下面的（不一定是這種格式，只是一般的想法）：

data Sub = SubA | SubB 
data Super = Sub | SuperB 

isSub :: Super -> Bool 
isSub Sub = True 
isSub _ = False 

所以isSub蘇巴將報告真（而不是一個錯誤。） 在你可能會做這樣的事情的時刻：

data Super = SubA | SubB | SuperB 

isSub :: Super -> Bool 
isSub SubA = True 
isSub SubB = True 
isSub _ = False 

它不可怕或任何東西，但它不能很好地擴展（如如果子最多時SubZ這將是可怕的笨重），它不允許你將Sub類型添加到它們自己的type-cl中屁股。爲了避免這個問題，你可以用子：

data Sub = SubA | SubB 
data Super = SuperA Sub | SuperB 

isSub :: Super -> Bool 
isSub (SuperA _) = True 
isSub _ = False 

但現在你必須確保你的包裹替補使用他們作爲一個超級......再也不可怕;只是沒有真正表達我想要的語義（即Super可以是任何Sub或SuperB）。第一個（合法的）例子是「Super可以是SubA ...」，第二個是「Super可以是SuperA，需要Sub ...」

EDTI：更改一些名稱以避免與音樂內容混淆。

P.S.從技術上講，當我開始思考如何在Haskell中表示Scheme的數字塔時...但我更感興趣的是表示「Type1可以是任何Type2加x，y ...」的更一般問題。

Answer 1

它不可怕或任何東西，但它不能很好地擴展

，如果你使用一些模板哈斯克爾這將是罰款。我想看看derive工具的makeIs日常指導。

但現在你必須做確保包裹你的潛艇使用他們作爲超級

不，類型系統會告訴你，如果你忘了。舉例來說，如果你有

data Super = Sub Sub | Super 
data Sub = SubA | SubB 

然後在其中使用Sub而是奢望一段Super會被抓住的任何背景。我猜你已經知道你的意思是什麼？

Answer 2

你不能有像

data Sub = SubA | SubB 
data Super = Sub | SuperB 

任何假設上面的語法是允許的，那麼問題就給出的值構造SubA你不能告訴它的類型是Sub或Super。這就是爲什麼你需要在構造函數中包裝你的類型。

對於你的第二個例子，你所做的事情應該是默認的做法，但你可以做一些簡單的操作，儘管我不建議這樣做，因爲使用show會慢很多。你可以嘗試一些類似於此的其他黑客攻擊。

import Data.List 
data Super = SubA | SubB | SuperB deriving Show 
isSub :: Super -> Bool 
isSub m = isPrefixOf "Sub" (show m) 

如果你真的想有一些像上面最好是像你這樣定義的功能。使用TH可能會節省您的時間。

你的第三種情況是我真正推薦的做法。你需要有一個像SuperA這樣的包裝器構造器，因爲我上面講過的原因。這就是爲什麼你不能確切地說type1是type2加x，y，z。最接近的事情是將元素包裝在構造函數中或使用類型類型。

data Sub = SubA | SubB 
data Sup = SuperA | SuperB 

class Super a where 
    isSub :: a -> Bool 
    isSub _ = True 

instance Super Sup where 
    isSub _ = False 

instance Super Sub 

data SupSup = SuperSuperA | SuperSuperB 

class SuperSuper a where 
    isSuper :: a -> Bool 
    isSuper _ = True 


instance SuperSuper SupSup where 
    isSuper _ = False 

instance SuperSuper Sup 
instance SuperSuper Sub 

你能想到的在這裏Super（這是一個類型類，而不是一個類型）包含Sub和額外成才（Sup）。

Answer 3

您可能想使用鏡頭（Control.Lens）庫及其實例的Data.Data和Data.Typleable。鏡頭是嘗試在列表，元組和所有其他數據類型中解決這些類型的多級問題。

>data Sub = SubA | SubB deriving (Show, Data, Typeable, Eq) 
>data Super = SuperA Sub | SuperB deriving (Show, Data, Typeable, Eq) 

-- A little bit of a hack, there is probably a better way of doing this 
>isSub' :: Sub -> Bool 
>isSub' x = typeOf x == typeOf SubA 

>tmp1 = SuperA SubA 
>tmp2 = SuperA SubB 

>isSub x = anyOf biplate (isSub') x 

>isSub tmp1 
True 
>issub tmp2 
True 

isSub真的太籠統了，它檢查是否有任何提供的數據類型的子類型是Sub。所以如果你有一棵樹，樹上是一個Sub，那麼它就是真的。應該可以將其限制爲僅限於您的用例。

鏡頭庫的優點是現在我可以添加另一個層到類型層次結構。

>data SuperSuper = SuperSuperA Super | SuperSuperB | SuperSuperC Sub deriving (Show,Data,Typeable) 

>tmp3 = SuperSuperA (SuperA SubA) 
>tmp4 = SuperSuperC SubB 

>isSub tmp3 
True 
>isSub tmp4 
True