赤いノードの赤い子を構造的に強制しない

Question

Learn You A Haskell For Great GoodとPurely Functional Data Structuresを調べている間、別のツリー不変の構造的に強制しようとしている間にRed Black treeを再実装しようとしました。

言い換えOkasakiのコード、彼のノードは、このようなものになります。

import Data.Either 

data BlackNode a = BlackNode { 
    value :: a, 
    leftChild :: Maybe (Either (BlackNode a) (RedNode a)), 
    rightChild :: Maybe (Either (BlackNode a) (RedNode a))} 
data RedNode a = RedNode { 
    value :: a, 
    leftChild :: Maybe (BlackNode a), 
    rightChild :: Maybe (BlackNode a)} 

：赤黒木の性質の

import Data.Maybe 

data Color = Red | Black 

data Node a = Node { 
    value :: a, 
    color :: Color, 
    leftChild :: Maybe (Node a), 
    rightChild :: Maybe (Node a)} 

一つをa red node cannot have a direct-child red nodeが、私は次のようにこれをエンコードしようとしたことです

これはエラーを出力します

Multiple declarations of `rightChild' 
Declared at: :4:5 
      :8:5 


Multiple declarations of `leftChild' 
Declared at: :3:5 
      :7:5 


Multiple declarations of `value' 
Declared at: :2:5 
      :6:5 

私はいくつか試してみました前のコードの変更はすべてコンパイルに失敗します。これを行う正しい方法は何ですか？

Answer 1

異なるレコードタイプには、異なるフィールド名が必要です。例えば、これは許可されていません。

data A = A { field :: Int } 
data B = B { field :: Char } 

これはOKである間：

data A = A { aField :: Int } 
data B = B { bField :: Char } 

前者は二つの突起

field :: A -> Int 
field :: B -> Char 

を定義しようとしていましたが、悲しいかな、我々は持つことはできません名前は2種類あります。 （少なくとも、それほど簡単ではありません...） この問題はOOP言語では存在しません。フィールド名は決して自分では使用できませんが、ただちにオブジェクトに適用する必要があります。具体的にはobject.field私たちはすでにタイプがobjectであることを知っていなければなりません。 Haskellではスタンドアロンの投影が可能で、ここでは複雑になります。

後者のアプローチは、代わり

aField :: A -> Int 
bField :: B -> Char 

を定義し、問題を回避します。

@dfeuerのコメントでは、GHC 8.0ではこの制約が緩和される可能性があります。