<br><br><div class="gmail_quote">On Tue, Sep 20, 2011 at 1:22 PM, Jake McArthur <span dir="ltr">&lt;<a href="mailto:jake.mcarthur@gmail.com">jake.mcarthur@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Tue, Sep 20, 2011 at 3:48 PM, Chris Smith &lt;<a href="mailto:cdsmith@gmail.com">cdsmith@gmail.com</a>&gt; wrote:<br>
&gt; But it would be the *wrong* thing to use as a desugaring for list range<br>
&gt; notation.  List ranges are very unlikely to be useful or even meaningful<br>
&gt; for most such enumerations (what is [ Red, Green .. LightPurple]?); and<br>
&gt; conversely, as we&#39;ve seen in this thread, list ranges *are* useful in<br>
&gt; situations where they are not a suitable way of enumerating all values<br>
&gt; of a type.<br>
<br>
</div>This makes me wonder if maybe the reason this discussion is happening<br>
at all is that we don&#39;t have a well-defined meaning for what Enum<br>
*is*.</blockquote><div><br></div><div>Enum is the class that represents enumerable types.  In other words, the class of things that can be injected into the natural numbers.  These types inherit an order from the natural numbers, ordering by images under this injection.</div>
<div><br></div><div>Now, we might not like that order, and it might not agree with an Ord instance, but it exists.</div></div>