哈斯克爾：過濾按類型

Question

異質列表我們可以利用對序列在Haskell創建異構列表：

type a *: b = (a, b) 
a *: b = (a, b) 
infixr 5 *: 

hlist :: Int *: String *: Maybe Float *:() 
hlist = 1 *: "hello" *: Just 3 *:() -- (1, ("hello", (Just 3,()))) 

有沒有一種方法，我們可以在這些列表上做類型級過濾？也就是說，定義一些多態函數hfilter例如，對於不同類型的a，b，並c：

hfilter :: a *: b *: c *: a *: b *: a *:() -> a *: a *: a *:() 
hfilter :: a *: b *: c *: a *: b *: a *:() -> b *: b *:() 
hfilter :: a *: b *: c *: a *: b *: a *:() -> c *:() 
hfilter :: a *: b *: c *: a *: b *: a *:() -> () 

Answer 1

這可能與一些類型的擴展名（順便說一句，請檢查張貼問題，當你的示例代碼編譯。我不得不作出一些更正）。

{-# LANGUAGE TypeOperators #-} 
{-# LANGUAGE MultiParamTypeClasses #-} 
{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE TypeSynonymInstances #-} 
{-# LANGUAGE OverlappingInstances #-} 

type a :* b = (a, b) 
a *: b = (a, b) 
infixr 5 *: 
infixr 5 :* 

hlist :: Int :* String :* Int :* Maybe Float :*() 
hlist = 1 *: "hello" *: 2 *: Just 3 *:() 


class TypeFilter lst t where 
    hfilter :: lst -> [t] 

instance TypeFilter() t where 
    hfilter _ = [] 

instance TypeFilter rest t => TypeFilter (t :* rest) t where 
    hfilter (a, rest) = a : hfilter rest 

instance TypeFilter rest t => TypeFilter (a :* rest) t where 
    hfilter (_, rest) = hfilter rest 

現在我們可以通過顯式定義我們想要的列表的類型來按類型過濾項目。

*Main> hfilter hlist :: [Int] 
[1,2] 
*Main> hfilter hlist :: [String] 
["hello"] 
*Main> hfilter hlist :: [Maybe Float] 
[Just 3.0] 
*Main> hfilter hlist :: [Maybe Int] 
[] 

它通過定義一個多參數類型級TypeFilter，這需要異質列表的類型，我們希望以濾除類型。然後，我們定義實例爲空列表/單位()和一個列表，其中類型匹配（TypeFilter (t :* rest) t），最後一個列表，其中頭部的類型不是我們要檢索的類型不同（TypeFilter (a :* rest) t)。

注在最後一個實例，目前還沒有辦法來表明a和t必須是不同的類型，但是當它們是相同的OverlappingInstances計數實例TypeFilter (t :* rest) t爲更具體，在TypeFilter (a :* rest) t一個人選擇它。

Answer 2

雖然存在方法去做你所要求的，你很可能沒有在這裏扮演Haskell的力量，你能詳細說明一下嗎？你需要什麼？通常你可以枚舉代數數據類型中需要的所有變體。您的列表將是同質的，允許您對元素進行模式匹配以對其進行操作。