<div dir="ltr">For what it's worth, I believe the IEEE 754 standard specifically uses the abbreviation "NaN" but doesn't use the abbreviation "Inf" -- so a correct application of the standard would be the full word "infinity" but the abbreviation "nan".</div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Aug 13, 2014 at 3:50 PM, Ben Schmidt <span dir="ltr"><<a href="mailto:schmidtb@student.unimelb.edu.au" target="_blank">schmidtb@student.unimelb.edu.au</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 13/08/14 3:30 PM, Julien Fischer wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">
On Wed, Aug 13, 2014 at 3:26 PM, Ben Schmidt <<a href="mailto:schmidtb@student.unimelb.edu.au" target="_blank">schmidtb@student.unimelb.edu.<u></u>au</a><br></div><div class="">
<mailto:<a href="mailto:schmidtb@student.unimelb.edu.au" target="_blank">schmidtb@student.<u></u>unimelb.edu.au</a>>> wrote:<br>
<br>
    I prefer the shorter 'inf', because you can also use 'NaN' (or 'nan'), whereas<br>
    not_a_number is somewhat cumbersome.<br>
<br>
<br>
Using "infinity" does not mean we can not also use "nan".<br>
</div></blockquote>
<br>
Of course, but I'm a programmer; I like consistency. :-p<br>
<br>
If you use 'inf', I'll automatically try 'nan' as it's the corresponding abbreviation (and vice-versa). I would also guess 'inf' before trying 'infinity', but that's probably as much to do with how I 'grew up' as anything else.<br>


<br>
If you use 'infinity', I'll stop and think "What am I supposed to use?"<br>
<br>
In the end it really doesn't matter. Plenty of languages use things yuckier than either, with no consistency. Plenty don't even support IEEE754.<br>
<br>
Is mercury unicode? Just use ±∞. :-D<div class="HOEnZb"><div class="h5"><br>
<br>
Ben.<br>
<br>
<br>
______________________________<u></u>_________________<br>
developers mailing list<br>
<a href="mailto:developers@lists.mercurylang.org" target="_blank">developers@lists.mercurylang.<u></u>org</a><br>
<a href="https://www.mercurylang.org/lists/listinfo/developers" target="_blank">https://www.mercurylang.org/<u></u>lists/listinfo/developers</a><br>
</div></div></blockquote></div><br></div>