6 Feb
2006
6 Feb
'06
8:38 p.m.
On 2/5/06, Jim Apple <jbapple+haskell-prime@gmail.com> wrote:
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 <taralx@gmail.com> "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra