ハスケルでのデータ型の使用

Question

これは私の前の質問からのフォローアップとなったので、この新しい質問を開始しました。私は同様のコンストラクタで構成されている2つのデータ型を持っている場合は

：あなたは私がやっているかを見ることができれば

data A = C | Z 
data B = C 

data C = X | Y 

：

data A = X | Y | Z 
data B = X | Y 

はと私は何とかこれを表現することができる方法はありません私はXをグループ化しようとしています。 Yを1つのデータ型に変換し、それを複数の他のデータ型で使用することができます。私はこれを許可するコンパイラを得ることができない、または場合は、私はXまたはY、Cのみパターン一致することはできません？

Cが複数回宣言されているというエラーメッセージが表示されます。

多分型を使うことができると思っていましたが、複数の型指定をすることはできません。

EDIT

私は（下記のような）長い道のりを宣言した場合でも、それはまだコンパイルしてXとYは、複数の宣言を持って言いません。

data A = X | Y | Z 
data B = X | Y 

Answer 1

だけでなく、あなたが行うことはできませんこれは、あなたも最初のオプションを行うことはできません。つまり、同じモジュールに2つの型（XとYという名前のコンストラクタがあります）を持つことはできません。

この場合、Xのタイプは、C、A、Bのいずれでなければなりませんか。最も明白な答えはCですが、AまたはBが必要なコンテキストでは使用できません（Haskellにはサブタイプがないことに注意してください）。そうすれば、構造全体の目的を打ち破ることができます。

あなたができる最善のは、AとB、すなわちのコンストラクタでCをラップすることです：

data A = AC C | Z 
data B = BC C 
data C = X | Y 

その後、あなたは型の値を作成するためにACかBCコンストラクタのいずれかでCをラップすることができそれぞれAまたはBです。次のようにあなたがこの

data A = X | Y | Z 
data B = X | Y 

を行うことはできません

Answer 2

理由があります。第2のスロット内の最初のスロットとXでnのペアを構築

foo n = (n,X) 

を：あなたは後にいくつかのコードを書く言います。コンパイラはどのような型を推測すべきですか？有効なタイプはXため

foo :: a -> A -> (a,A) 

あろう型Aのコンストラクタが、XタイプBのコンストラクタであるので、同様に有効で

foo :: a -> B -> (a,B) 

あります。同じ名前のコンストラクタが2つある場合は、それらを使用する関数の一意の型を推論することはできません。したがって、同じモジュールに同じ名前のコンストラクタを2つ与えることは許されません。

Answer 3

あなたはこれを行うことはできません。

data A = C | Z 
data B = C 

data C = X | Y 

を（余談として、Bは同じにCであれば、なぜ全くBを持っている？）

しかし、あなたはをすることができますがdoは次のようなものです：

data A = A_Other C | Z 
data B = B_Other C 

data C = X | Y 

あなたのことができ、このようなパターンマッチ：あなたは複数のデータコンストラクタを宣言しているので、あなたがやりたいことができない

Answer 4

それが理にかなっている場合

foo :: A -> String 
foo (A_Other X) = "X" 
foo (A_Other Y) = "Y" 
foo (  Z) = "Z" 

bar :: B -> String 
bar (B_Other X) = "X" 
bar (B_Other Y) = "Y" 

foobar :: C -> String 
foobar X = "X" 
foobar Y = "Y" 

...。

data A = X | Y | Z 

では、実際には3つのコンストラクタ（値）X、Y、及びZを有するタイプAを導入しています。これは、最初のコードがコンパイルされないため、2つの異なるタイプのコンストラクタと同じ名前がリストされています。あなたがこれを行うことができれば、あなたは自問する必要があるだろう非オブジェクト指向の文脈で怖いです

X :: A 

または

X :: B 

です！そのため、その基礎となるデータを共有するために異なるコンストラクタ名を指定する必要があります。C

あなたはこれを考慮したい場合は他の記事を示唆しているとして、あなたが行うことができ、各データ型

data A = CForA C | Z 
data B = CForB C 

data C = X | Y