Типы Haskell Алгебраические данных

Question

У меня есть следующие для HTML шрифта тега:

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

Цвет - это всего лишь тип, а не атрибут. В системе типов нет ничего, чтобы указать, что у Цвет есть особые отношения с FontAttribute. Все, что происходит, когда вы определяете тип данных FontAttribute является то, что он создает конструктор под названием FontColor, который является обычной функцией со следующей сигнатурой типа:

FontColor :: Color -> FontAttribute 

Так что, если вы объявили какой-то новый тип под названием Link:

data LinkAttrubute = LinkColor Color | ... 

Затем цвет также может быть сохранен в LinkAttribute. Конструктор не подразумевает исключительную связь только с этим типом данных. Весь ваш тип данных FontAttribute говорит, что он МОЖЕТ содержать только цвет.

Haskell не имеет встроенной концепции атрибутов, потому что у нее нет встроенной концепции объектов. ОДНАКО, вы можете моделировать атрибуты с использованием типа Lens из пакета данных (или fclabels). Я бы связал вам пакеты, но я нахожусь на своем телефоне, и это сложно.