Restricted data types
simonpj at microsoft.com
Tue Feb 7 11:19:09 EST 2006
| >> Have we considered Restricted Data Types?
| >> http://www.cs.chalmers.se/~rjmh/Papers/restricted-datatypes.ps
| Finally, I wrote my paper before fundeps came on the scene. Some of
the contortions I went through
| in my simulation of RDTs could be avoided with the help of fundeps.
A key point in the RDT paper, I think, was the ability to *abstract over
a type class*. Now that is something one could consider adding to
Haskell, as the SYB3 paper argues. (See my home page.)
Suppose that one could abstract over a type class. How would the RDT
paper change? I'm not sure.
More information about the Haskell-prime