Haskell 将参数转换为类型

Question

我创建了联系人类型，我正在尝试创建一个函数，该函数采用 4 个参数（名字、姓氏、电话和州）并创建一个联系人并将其添加到现有联系人列表中。

type LastName = String
type FirstName = String
type Phone = String
type Contact = (Person, State)
data Person = Person Phone Name deriving (Show, Read)
type Name = (FirstName, LastName)
data State = Good | Bad

addContact :: Phone -> FirstName -> LastName -> State -> [Contact] -> [Contact]
addContact  c p n s [] = Contact (Person c (p,n)  ,s) : []
addContact c p n xs = Contact (Person c (p,n)  , s) : xs

我似乎无法在 LYAH 或 SOF 上找到解决方案，我完全按照本节所说的内容进行操作，尤其是关于形状的部分：http://learnyouahaskell.com/making-our-own-types-and-typeclasses#record-syntax 但我收到以下编译错误：

• Data constructor not in scope:
        Contact :: (Person, [Char]) -> Contact

我尝试将类型的大写更改为小写，但仍然出现未定义变量错误编译。

这里有什么我遗漏的吗？

Answer 1

Contact 不是类型构造函数，Contact 只是 (Person, State) 的别名，所以是 2 元组，因此 (,) 是数据构造函数：

addContact :: Phone -> FirstName -> LastName -> State -> [Contact] -> [Contact]
addContact c p n s xs = (,) (Person c (p,n)) s : xs

或者不那么冗长：

addContact :: Phone -> FirstName -> LastName -> State -> [Contact] -> [Contact]
addContact c p n s xs = (Person c (p,n), s) : xs

Person 的数据类型无效，应该是：

data Person = <b>Person</b> Phone Name deriving (Show, Read)

或者您可以使用类型别名，例如：

type Person = <b>(</b>Phone<b>,</b> Name<b>)</b>

那么你可以这样实现：

addContact :: Phone -> FirstName -> LastName -> State -> [Contact] -> [Contact]
addContact c p n s xs = ((Person c (p, n)), s) : xs

或：

addContact :: Phone -> FirstName -> LastName -> State -> [Contact] -> [Contact]
addContact c p n s xs = ((c, (p, n)),s) : xs

最后名字类型又出问题了，First和Name之间不能写空格，应该用括号：

type Name = <b>(</b>FirstName<b>,</b> LastName<b>)</b>