
3 Jul
2004
3 Jul
'04
10:55 a.m.
On Sat, 3 Jul 2004, paolo veronelli wrote:
I'd like to have a simple definition of the meanings of 'type' and 'data' and maybe a clarifing example on their use. (snip)
The way I see it, you use "type" for genuine synonyms where you don't care about the distinction, "newtype" where you want to make a separate type with a single constructor, and "data" where you want to make a separate type with multiple constructors. My memory might be failing, though. -- Mark