haskellalgebraic-data-typesuser-defined-data-typesvalue-constructor

Why can't i re-use same value constructor among different data types?

i am new to Haskell and probably missing something really basic here, but i am not able to re-use same value constructor among different data types. 

data Colour = Red | Pink | Orange | Yellow
data Fruit  = Apple | Orange | Banana

This produces error saying

Multiple declarations of ‘Orange’

Not sure why this isn't allowed, i have been using OCaml before learning Haskell and was able to define types like this

Solution

  • As a quick exercise try just defining one of your data types and then opening up GHCi to inspect it. 

    data Colour = Red | Pink | Orange | Yellow

    If you use :t in GHCi, it will tell you the type of anything. 

    > :t Red
Red :: Colour
> :t Orange 
Orange :: Colour

    So this tells you that your data constructor Orange is really just a function that takes no arguments and produces a value of type Colour.

    So what happens if you add a duplicate declaration? 

    data Colour = Red | Pink | Orange | Yellow
data Fruit  = Apple | Orange | Banana

    Now you have defined a function Orange that takes no arguments and produces a value of type Colour or a value of type Fruit. This won't work at all! It would be the same as defining your own custom function foo and giving it multiple type signatures: 

    foo :: Int 
foo :: String
foo = "6"

    Which obviously doesn't work either.

    To get around this, you can define each data type in its own module, and use a qualified import to scope them correctly: 

    import qualified Colour as C -- Module Colour.hs 
import qualified Fruit as F -- Module Fruit.hs 

orange1 = C.Orange :: C.Colour 
orange2 = F.Orange :: F.Fruit

    Now, you might be thinking "The compiler is smart, it should know what Orange I'm talking about when I'm using it." and you'd be partially right. There is an ongoing effort to bring Overloaded or Duplicate record fields into Haskell. There are various other questions of that ilk already defined here, but I'll list a few references for further reading.