Haskellの代数的データ型

Question

：

data Color = HexColor Int | RGBColor Int Int Int | ColorString String deriving Show 
data FontAttribute = Size Int | Face String | FontColor Color deriving Show 
data Font = Font [FontAttribute] deriving Show 

私はそうのようなものを構築する：

Font [Size 23,Face "Arial",Color (RGBColor 240 23 43)] 

私の関心は持っていFontColorデータ/値のコンストラクタが入力することですFontAttributeには引数としてColor型が必要です。つまり、Colorは任意の種類のタグのジェネリック型属性であり、特定のタグは特定の属性のサブセットを持っています（この場合、FontにはFontAttributeがあり、Size、Face、FontColorなどがあります）。これを表現する明確な方法はありますか、それとも実装のサウンドですか？

Answer 1

色は単なる属性ではなくタイプです。型システムには、ColorがFontAttributeと特別な関係を持つことを示すものは何もありません。

data LinkAttrubute = LinkColor Color | ... 

：あなたには、いくつかの新しいタイプと呼ばれるリンクを宣言したのであれば

FontColor :: Color -> FontAttribute 

：あなたはFontAttributeデータ型は、それが次の型シグネチャを持つ通常の関数であるFONTCOLORと呼ばれるコンストラクタを作成することです定義するときに起こるすべてのこと

次に、ColorをLinkAttributeに格納することもできます。コンストラクタは、そのデータ型との排他関係を意味するものではありません。すべてのFontAttributeデータ型には、ただ1つの色だけが含まれていることがあります。

ハスペルには、オブジェクトの組み込み概念がないため、属性の組み込み概念がありません。ただし、データ・レンズ（またはfclabels）パッケージのLensタイプを使用して属性をモデル化できます。私はあなたにパッケージをリンクしますが、私は私の電話の上にあり、それは難しいです。