<div dir="ltr">Yitz: Thanks for taking over. I do agree that "fma" can just be added to the Num class with all the ramifications and treated as an "optimization." But that's a different proposal than what I had in mind, so I'm perfectly happy you pursuing this version.<div><br></div><div>Just one comment: The name "FMA" is quite overloaded, and perhaps it should be reserved to the true IEEE754 version. I think someone suggested 'mulAccum' as an alternative, which does make sense if one thinks about the dot-product operation. Please be absolutely clear in the documentation that this is not the IEEE754-fma; but rather a fused-multiply-add operation that is used for the Num class, following some idealized notion of numbers. In particular, the compiler should be free to substitute "a*b+c" with "mulAccum a b c".</div><div><br></div><div>The latter (i.e., the IEEE754 variant) should be addressed in a different proposal that I intend to work on separately.</div><div><br></div><div>-Levent.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, May 4, 2015 at 9:11 AM, Yitzchak Gale <span dir="ltr"><<a href="mailto:gale@sefer.org" target="_blank">gale@sefer.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Levent Erkok wrote:<br>
>> ...I think this proposal needs to be shelved for the time being.<br>
<span class=""><br>
I wrote:<br>
> Nevertheless, I vote for doing it now.<br>
<br>
</span><span class="">Edward Kmett wrote:<br>
> As this proposal has been withdrawn, the point is more or less<br>
> moot for now.<br>
<br>
</span>OK, let me make myself more clear.<br>
<br>
I hereby propose the exact same proposal that Levant originally<br>
proposed in this thread and then withdrew, with the caveat that<br>
the scope of the proposal is explicitly orthogonal to any large<br>
scale change to the way we do floating point.<br>
<br>
Discussion period: 2 weeks, minus time spent so far in this<br>
thread since Levant's original proposal.<br>
<br>
Thanks,<br>
Yitz<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>