[Haskell-cafe] Implicit newtype unwrapping

John D. Earle JohnDEarle at cox.net
Thu Dec 3 08:57:02 EST 2009

There is another point that needs to be made. A type signature isn't actually a type specification. It is a type assertion and a type specification in the event that the compiler needs your help. Most of the time the compiler can care less what you think and does not require your assistance. In languages like C you get to call the shots. In languages such as Haskell you don't get that opportunity.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20091203/8d52da7a/attachment.html

More information about the Haskell-Cafe mailing list