data vs. newtype, abstractly

Hal Daume III hdaume@ISI.EDU
Sat, 8 Mar 2003 20:06:10 -0800 (PST)


yes.

> data D = D Int
> newtype N = N Int

there is a difference between

  (N undefined) `seq` ()

and

  (D undefined) `seq` ()

there has been a lot of discussion about this on the mailing list,
probably under a title of something like "difference between data and
newtype".

--
 Hal Daume III                                   | hdaume@isi.edu
 "Arrest this man, he talks in maths."           | www.isi.edu/~hdaume

On Sat, 8 Mar 2003, Dean Herington wrote:

> If a type that could be defined either by `data` or `newtype` (i.e., a
> single-constructor type) is exported abstractly (without its constructor),
> can the user of the type tell how the type was declared?
> 
> Dean
> 
> 
> _______________________________________________
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>