<div dir="ltr">Nan actually has a point in floating ... point.  Here it'd not have any performance benefit and force ME and other Users to do error checking by hand in a needless painful way. Nan  on ... nats, just ain Natural. <div><br></div><div>i want simple user friendly error messages. </div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 13, 2014 at 10:34 PM, Mario Blažević <span dir="ltr"><<a href="mailto:blamario@acanac.net" target="_blank">blamario@acanac.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 13/11/14 05:35 PM, Brandon Allbery wrote:<span class=""><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Thu, Nov 13, 2014 at 5:20 PM, Mario Blažević <<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a> <mailto:<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a>>> wrote:<br>
<br>
    Regarding the partial vs. saturated negation, I'm in favour of the<br>
    former. However, there is another option nobody mentioned so far: NaN<br>
<br>
<br>
NaN is only defined in the context of IEEE floating point; as such, it is not available for this use.<br>
</blockquote>
<br></span>
    I'm aware of the current uses of NaN. I was just suggesting that the same concept could be used for operations on natural values that go out of band. Just like we have<br>
<br>
   isNaN :: RealFloat a => a -> Bool<br>
<br>
we could add a function<br>
<br>
   isUnnatural :: Natural -> Bool<br>
<br>
and replace exceptions by an unnatural Natural values... I'm open to an alternative terminology. The important question is whether this approach is feasible for the implementation.<div class="HOEnZb"><div class="h5"><br>
<br>
______________________________<u></u>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>