Haskell类型的同义词问题

时间:2014-02-05 19:54:40

标签: haskell pattern-synonyms

这给了我以下错误

  

不在范围内:数据构造函数Blah

为什么呢?我认为我可以在任何地方使用类型同义词Person

data Person = Person { weight :: Int, height :: Int }

type Blah = Person

person1 :: Blah
person1 = Blah 80 187 

2 个答案:

答案 0 :(得分:6)

您已将类型Person别名为Blah,但Person的构造函数仍为Person {weight :: Int, height :: Int}。类型构造函数和类型名称是不同的,甚至保存在Haskell中的不同名称空间中。

举个例子:

> data MyBool = MyFalse | MyTrue deriving (Show, Eq)
> type Blah = MyBool

此处MyBool的构造函数为MyFalseMyTrue,每个构造函数都有*种类(无类型参数)。然后我将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是一个构造函数,两者都在不同的范围内。