Почему эта декларация типа не работает?

Question

Я пытаюсь создать тип «Человек», где у каждого человека есть секс и имя.

data Sex = Sex Char deriving Show 

male = Sex 'M' 
female = Sex 'F' 

data Name = Name [Char]  deriving Show 

data Person = Person { 
    Sex :: Sex, 
    Name :: Name 
} deriving (Show) 

Когда я пытаюсь загрузить это в GHCI я просто получить бесполезную ошибку parse error on input 'Sex'

Что я здесь делаю неправильно?

Answer 1

Проблема заключается в использовании верхнего регистра внутри синтаксиса записи. Код должен выглядеть так:

data Person = Person { sex :: Sex, name :: Name }... 

Попытка, чтобы код, казалось бы, скомпилирован. Поскольку «секс» и «имя» не являются типами (в то время как «Секс» и «Имя»), вы не можете сделать первые буквы в верхнем регистре.