哈斯克尔：过滤按类型

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的力量，你能详细说明一下吗？你需要什么？通常你可以枚举代数数据类型中需要的所有变体。您的列表将是同质的，允许您对元素进行模式匹配以对其进行操作。