ハスケル：タイプ別に不均一なリストをフィルタリング

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,()))) 

は、我々はこれらのリストにはタイプレベルのフィルタリングを行うことができます方法はありますか？これは、別個のタイプa、b、およびcのためにいくつかの多型の機能そのhfilterように定義されています

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

それはさておきとして（数タイプの拡張子を持つことが可能です、質問を投稿するとき、あなたの例のコードがコンパイルされることを確認してください。私はかなりの修正を加えなければならなかった）。

これで、必要なリストのタイプを明示的に定義することで、アイテムをタイプ別にフィルタリングできます。

*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は、異なるタイプでなければならないことを意味する方法はありませんが、彼らはより具体的なとしてインスタンスTypeFilter (t :* rest) t同じOverlappingInstancesカウントされ、TypeFilter (a :* rest) t 1の上に、それを選択したとき。

Answer 2

存在するがあなたが聞いたことをする方法、ここでハスケルの強さを演じていない可能性が非常に高いです。あなたのニーズは？通常、代数データ型で必要となるすべてのバリアントを列挙できます。あなたのリストは均質になり、要素を操作してパターンマッチングを行うことができます。