[bitc-dev] Overloading arithmetic

[Gelf Mrogen]

My proposal would be two sets of typeclasses and operators for arithmetic.  The usual set (+,-,*,/) would assume the usual field properties and give the optimizer some leeway.   The other set would be for when you're prescribing order of operations (of course the optimizer is always free to optimize things in ways that don't change the result) .  But both sets of operations would work for both exact and inexact numbers.   

Matt


--- On Tue, 3/10/09, Jonathan S. Shapiro <shap at eros-os.com> wrote:

From: Jonathan S. Shapiro <shap at eros-os.com>
Subject: [bitc-dev] Overloading arithmetic
To: bitc-dev at bitc-lang.org
Date: Tuesday, March 10, 2009, 1:08 AM

An obvious example of an incorrect OpenMP program has just convinced me that FP arith ops should not share operators with integer arith ops: FP ops are not associative, which interacts with optimizability.
Violent arguments?
shap, from my phone

-----Inline Attachment Follows-----

_______________________________________________
bitc-dev mailing list
bitc-dev at coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20090309/18afa49d/attachment-0001.html