On Dec 30, 2007, at 12:32 PM, Joost Behrends wrote:
Thanks to both fast answers.
there remain problems with Jakes mail for me. This:
When you define datatypes, you are essentially defining a type-level
constructors on the left hand side and (value-level) constructors on
the right hand side.
2007/12/30, Joost Behrends <[EMAIL PROTECTED]>:
> > . Now, let's say we had tried defining ClockTime with parameters as
> > you suggested.
> >
> > ClockTime' :: Integer -> Integer -> *
> >
> > Do you see the problem? In order to use the ClockTime type
> > constructor, we would have to use Int
Thanks to both fast answers.
there remain problems with Jakes mail for me. This:
> When you define datatypes, you are essentially defining a type-level
> constructors on the left hand side and (value-level) constructors on
> the right hand side.
is very useful for me. "data" defines TWO cons
