コンストラクタ内からデータを引き出す

Question

私はハスケルを完全に新しくしています。

私はいくつかの情報層を持っています。各レイヤーは独自の方法で計算されますが、出力には型付き要素のリストだけがあります。

layer1 :: MyData -> [Element1] 
layer1 mydata = unique calculations 

layer2 :: MyData -> [Element2] 
layer2 mydata = even more unique calculations, using layer1 

layer3 :: MyData -> [Element3] 
layer3 mydata = completely genious layer of profound information 
..... 

ここでは、N個の関数をパラメータ化できないため、切り離したままにしておきます。

次に、これらのレイヤーで同様の機能を実行したいと考えています。

私のmightsは簡単な方法

transform1 :: MyData -> [Int] 
transform1 mydata = zipWith f (layer1 mydata) constList 
transform2 :: MyData -> [Int] 
transform2 mydata = zipWith f (layer2 mydata) constList 
transform3 :: MyData -> [Int] 
transform3 mydata = zipWith f (layer3 mydata) constList 
...... 

でそれを行うしかし、ここで明確には統一のいくつかの種類を作るために招待されます。 Like

universalTransform :: Layer -> [Int] 
universalTransform layer = zipWith f layer constList 

Ok。だから今、私はLayer抽象

data Layer = Lay1 [Element1] | Lay2 [Element2] | Lay3 [Element3] 
data LayerName = Lay1Name | Lay2Name | Lay3Name 

をする必要があるそれから私は

take :: LayerName -> MyData -> Layer 
take lname mydata = case lname of 
    Lay1Name -> Lay1 (layer1 mydata) 
    Lay2Name -> Lay2 (layer2 mydata) 
    Lay3Name -> Lay3 (layer3 mydata) 

派遣コレクタを作成する必要があり、何とかそれはhugerとhugerになり、最悪の問題は私のzipWith fリストを望んでいるということです。そしてuniversalTransformlayerにはではなく、のリストです。抽象化はLayerです。私はLayerの中から[ElementsX]の中から自由にしようとしていましたが、成功しませんでした。

私は間違った方向に向かっています。

どうすればいいですか？統一ですが、適切な方法で、好きではありません... ehmmm ...私自身。

Answer 1

Alexis Kingは、Layer型を変換に要約する必要はないと指摘しています。あなたの関数は引数としてfとレイヤー関数を取るようにしてください。そうすれば、あなたは（のはconstListのタイプは[Foo]あるとしましょう）するために... ...

transform1 :: MyData -> [Int] 
transform1 mydata = zipWith f (layer1 mydata) constList 

から行く：あなたが順序を反転する場合

transform :: (a -> Foo -> Int) -> (MyData -> [a]) -> MyData -> [Int] 
transform f layer mydata = zipWith f (layer mydata) constList 

このtransformは目に容易になりますfの引数の：

transform :: (Foo -> a -> Int) -> (MyData -> [a]) -> MyData -> [Int] 
transform f layer mydata = zipWith f constList (layer mydata) 

今では明示的mydataを言及しないことが容易になる（この最後のステップは、おそらくです好みの問題は、私は好きでは最高のそれこの方法）：

transform :: (Foo -> a -> Int) -> (MyData -> [a]) -> MyData -> [Int] 
transform f layer = zipWith f constList . layer 

transformと何がLayerでやって推測されたとの主な実質的な違いは、このソリューションであなただけの三つの方法に制限されていないということですLayerNameで指定されたレイヤーを作成します。しかし、あなたがあなたの問題をどのように述べているかを考えれば、まずはこのような制限が本当に必要ないと思います。

---

PS：あなたが実際に（再び、私は強く、あなたが実際に必要としない疑いがあるものです、）あなたのLayerの提案に似た何かを望んでいた場合、あなたはおそらく何かのように、より良い運を持っているでしょう...

あなたが zipWithを与える

toLayer :: LayerName -> MyData -> [Element] 

機能になります。

data Element = Elem1 Element1 | Elem2 Element2 | Elem3 Element3 

...プラス層生成機能（実際にリストを生成すること！）その後、Element上ケース分析を行うための責任がある：あなたが「だから今、私は `Layer`の抽象化を行う必要がある」と述べたまで、私はあなたと一緒にいた

f :: Foo -> Element -> Int