6 Feb
2006
6 Feb
'06
3:38 p.m.
On 2/5/06, Jim Apple
Have we considered Restricted Data Types?
http://www.cs.chalmers.se/~rjmh/Papers/restricted-datatypes.ps
You know, when I first used datatypes with context, I expected it to
work this way, and was very surprised that it didn't. I'd love to see
this, but it needs to be implemented as an extension before it can
reasonably be considered for a conservative language extension like
Haskell'.
--
Taral