3 ms·
The integer example is not a red herring - it's an argument to consistency by comparison with an isomorphic evaluation semantics. If you look at it closely tho
by barrkel 10y ago
The integer example is not a red herring - it's an argument to consistency by comparison with an isomorphic evaluation semantics.
If you look at it closely though, you might find material for your position in integer promotion. But I think you're missing the point of what is being argued via a vis refactoring of expression trees changing calculation results.
- acqq 10y ago> the point of what is being argued via a vis refactoring of expression trees changing calculation results That was not a topic why the discussion started and I never discussed that here. Check for yourself. It started with pcwalton's (I simplify) "the bug is because of Kahan, see his Java paper" and I showed the opposite: whoever reads Kahan's paper can see that following his suggestions in the paper the bug can only be a bug. I also cited the exact pages. I know there are a lot of people who would like to handle FP arithmetic identically to the integer one, but that can't work by the definition of FP. And please see my other post here -- it's surely time to continue the discussion somewhere else.