Disadvantage of unlifted type products?
Posted
by peaker
on Stack Overflow
See other posts from Stack Overflow
or by peaker
Published on 2010-03-21T18:37:41Z
Indexed on
2010/03/21
18:41 UTC
Read the original article
Hit count: 290
haskell
In Haskell, lifted type products mean that there's a semantic difference between (a,b,c) and (a, (b, c)).
If all pattern matches of all products was always irrefutable, then there would be no difference, and (a, b, c) could be syntactic sugar for (a, (b, c)).
Why did Haskell choose to lift type products?
© Stack Overflow or respective owner