Restricted Data Types

Taral taralx at
Mon Feb 6 15:38:34 EST 2006

On 2/5/06, Jim Apple <jbapple+haskell-prime at> wrote:
> Have we considered Restricted Data Types?

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

Taral <taralx at>
"Computer science is no more about computers than astronomy is about
    -- Edsger Dijkstra

More information about the Haskell-prime mailing list