StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PONested/Sub data types in haskell
text
Body
copied!<p>So what would be nice is if you could do something like the following (not necessarily with this format, just the general idea):</p> <pre><code>data Sub = SubA | SubB data Super = Sub | SuperB isSub :: Super -> Bool isSub Sub = True isSub _ = False </code></pre> <p>So isSub SubA would report True (instead of an error.) At the moment you might do something like:</p> <pre><code>data Super = SubA | SubB | SuperB isSub :: Super -> Bool isSub SubA = True isSub SubB = True isSub _ = False </code></pre> <p>It's not terrible or anything, but it doesn't expand nicely (as in if Sub when up to SubZ this would be terribly clunky) and it doesn't allow you to add the Sub types to their own type-class. To avoid that problem you can wrap Sub:</p> <pre><code>data Sub = SubA | SubB data Super = SuperA Sub | SuperB isSub :: Super -> Bool isSub (SuperA _) = True isSub _ = False </code></pre> <p>But now you have to make sure to wrap your Subs to use them as a Super... again not terrible; just doesn't really express the semantics I'd like very well (i.e. Super can be any Sub or SuperB). The first (legal) example is "Super can be SubA..." and the second is "Super can be SuperA that takes a Sub..."</p> <p>EDTI: Change some names to avoid conflation with music stuff.</p> <p>P.S. Technically, this started when I was thinking about how to represent Scheme's numeric tower in Haskell... but I'm really more interested in the more general issue of representing "Type1 can be any of Type2 plus x, y, ...)</p>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload