这给了我以下错误
不在范围内:数据构造函数
Blah
为什么呢?我认为我可以在任何地方使用类型同义词Person
data Person = Person { weight :: Int, height :: Int }
type Blah = Person
person1 :: Blah
person1 = Blah 80 187
答案 0 :(得分:6)
您已将类型Person
别名为Blah
,但Person
的构造函数仍为Person {weight :: Int, height :: Int}
。类型构造函数和类型名称是不同的,甚至保存在Haskell中的不同名称空间中。
举个例子:
> data MyBool = MyFalse | MyTrue deriving (Show, Eq)
> type Blah = MyBool
此处MyBool
的构造函数为MyFalse
和MyTrue
,每个构造函数都有*
种类(无类型参数)。然后我将MyBool
别名为Blah
:
> MyTrue :: MyBool
MyTrue
> MyTrue :: Blah
MyTrue
这应该有助于强化这样的想法:虽然类型的构造函数可能与类型本身共享相同的名称,但它们并不相同。
答案 1 :(得分:2)
在最热门的GHC 7.8中你可以这样写:
{-# LANGUAGE PatternSynonyms #-}
data Person = Person { weight :: Int, height :: Int }
type Bar = Person -- type synonym
pattern Baz = Person -- constructor synonym
person1 :: Bar
person1 = Baz 80 187
但是可以肯定的是,不要忘记Person
是一个类型而Person
是一个构造函数,两者都在不同的范围内。