[bitc-dev] Overloading arithmetic

[Mark Miller]

On Mon, Mar 9, 2009 at 8:26 PM, Jonathan S. Shapiro <shap at eros-os.com> wrote:
> The underlying issue is that arithmetic on an integer ring is
> associative, commutative, and distributive in the usual way, while
> arithmetic on floating point is none of these.

Just a nit, but I believe IEEE floating point arithmetic is
commutative. This does not affect your point,


-- 
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM