Export lists in modules

John Meacham john at repetae.net
Thu Feb 23 19:47:37 EST 2006

On Thu, Feb 23, 2006 at 11:36:34AM +0100, Wolfgang Jeltsch wrote:
> The remaining problem is that using "type" for every type is misleading, since 
> "type" is otherwise used only for aliases.  Maybe it would be better to use 
> something like "typealias" for type aliases, since using "type" for declaring 
> type aliases is misleading anyway.

I don't think it is that misleading, when you have

data Foo = Bar | Baz

I think of the name 'Foo' as a type. You say x has type Foo. not x has
data Foo.

type synonyms do nothing but introduce a new type name which is why it
is declared with 'type', but data and newtype introduce a typename and
something else. but refering to just the name as a 'type' is consistent
with usage.

not that the terminology is perfect, but I don't think it is odd enough
to warrent changing or worrying too much about.


John Meacham - ⑆repetae.net⑆john⑈

More information about the Haskell-prime mailing list