<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Oct 29, 2013 at 7:15 PM, OvermindDL1 <span dir="ltr"><<a href="mailto:overminddl1@gmail.com" target="_blank">overminddl1@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">+1 for -1, 0, and 1, math simplifies then in cases</blockquote></div><br>No -1000 for this bad insane idea. Comparison is an algebraic datatype with three outcomes: lt, eq or gt. You DON'T use an integer domain to represent that. Why not -1337, 0 and +230439204830948320498 instead? They are equally good I guess!</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">We don't need to diverge from Standard ML. We need to converge!</div><div class="gmail_extra"><br><br clear="all"><div><br></div>-- <br>J.
</div></div>