[Haskell-cafe] Data & newtype differences. Today: strictness
gale at sefer.org
Sun Jan 22 15:17:55 CET 2012
Yves Parès wrote:
>> Is there some litterature expliciting in a less empiric way than I did the
>> differences like this between data and newtype? I've never come against
>> such documentation through all my learning of Haskell, yet I think it's an
>> important point.
Roman Cheplyaka wrote:
> See the Haskell report, section 3.17.2 "Informal Semantics of Pattern
> Matching" .
And section 4.2.3 of the report  addresses exactly your points very
"A type created by newtype differs from an algebraic datatype in that...
The following examples clarify the differences between data
(algebraic datatypes), type (type synonyms), and newtype
More information about the Haskell-Cafe