Haskell-合并数据类型？

Question

我是Haskell的新手，我一直在寻找以下内容的答案，但没有运气。

为什么此代码无法编译？

newtype Name = Name String deriving (Show, Read)
newtype Age = Age Int deriving (Show, Read)
newtype Height = Height Int deriving (Show, Read)

data User = Person Name Age Height deriving (Show, Read)

data Characteristics a b c = Characteristics a b c

exampleFunction :: Characteristics a b c -> User
exampleFunction (Characteristics a b c) = (Person (Name a) (Age b) (Height c))

错误：

"Couldn't match expected type ‘String’ with actual type ‘a’,‘a’ is a rigid type, variable bound by the type signature"

但是，这样编译就可以了：

exampleFunction :: String -> Int -> Int -> User
exampleFunction a b c = (Person (Name a) (Age b) (Height c))

我意识到可以采用更简单的方法来进行上述操作，但是我只是在测试自定义数据类型的不同用法。

更新：

我的倾向是编译器不喜欢'exampleFunction :: Characteristics abc'，因为它的类型不安全。 即我不提供以下保证：a ==名称字符串，b ==年龄整数，c ==高度整数。

Answer 1

exampleFunction太笼统了。 您声称它可以为a ， b和c 任何类型a Characteristics abc值。 但是，类型a的值传递给Name ，后者只能采用String类型的值。 解决方案是具体说明特征实际上可以是什么类型。

exampleFunction :: Characteristics String Int Int -> User
exampleFunction (Characteristics a b c) = (Person (Name a) (Age b) (Height c))

但是，请考虑一下，在这里甚至可能不需要newtype 。 简单类型别名就足够了。

type Name = String
type Age = Int
type Height = Int

type Characteristics = (,,)

exampleFunction :: Characteristics Name Age Height -> User
exampleFunction (Charatersics n a h) = Person n a h

Answer 2

尝试这个：

exampleFunction :: Characteristics String Int Int -> User
exampleFunction (Characteristics a b c) = (Person (Name a) (Age b) (Height c))

之所以起作用，而您却不起作用，是因为Name，Age和Height需要特定类型，您的示例函数使用了完全通用的参数。

示例行中的a，b和c定义了参数的类型，而不是参数的名称。

 exampleFunction :: Characteristics a b c