Wed, 19 Apr 2000 03:29:44 -0700, Simon Peyton-Jones [EMAIL PROTECTED] pisze:
There is also the question of whether newtype is a good thing at all.
Maybe we'd be better off with Gofer's restricted type synonyms.
I prefer newtypes, because (1) IMHO the rules are simpler, (2) newtype
is often
Mon, 17 Apr 2000 10:07:51 -0400, Chris Okasaki [EMAIL PROTECTED] pisze:
Many of you have run across the problem with newtypes that, although
it is very cheap to coerce between the newtype and the base type, it
can be very expensive to coerce between, say, a list of the newtype
and a list of
| Many of you have run across the problem with
| newtypes that, although it is very cheap to
| coerce between the newtype and the base type, it
| can be very expensive to coerce between, say,
| a list of the newtype and a list of the base type.
| Stephanie Weirich and I are working on a proposal
