Re: types, was New Book: The School of Niklaus Wirth

"Joachim Durchholz" <joachim_d@gmx.de>
25 Nov 2000 01:08:50 -0500

          From comp.compilers

Related articles
Re: Re: New Book: The School of Niklaus Wirth ollanes@pobox.com (Orlando Llanes) (2000-11-05)
Re: New Book: The School of Niklaus Wirth djg@argus.vki.bke.hu (Gabor DEAK JAHN) (2000-11-11)
Re: New Book: The School of Niklaus Wirth gdemont@my-deja.com (2000-11-16)
Re: New Book: The School of Niklaus Wirth jerrold.leichter@smarts.com (Jerry Leichter) (2000-11-17)
Re: New Book: The School of Niklaus Wirth fjh@cs.mu.OZ.AU (2000-11-19)
Re: New Book: The School of Niklaus Wirth jerrold.leichter@smarts.com (Jerry Leichter) (2000-11-21)
Re: types, was New Book: The School of Niklaus Wirth joachim_d@gmx.de (Joachim Durchholz) (2000-11-25)
Re: types, was New Book: The School of Niklaus Wirth jerrold.leichter@smarts.com (Jerry Leichter) (2000-11-30)
Re: types, was New Book: The School of Niklaus Wirth anton@mips.complang.tuwien.ac.at (2000-12-01)
Re: types, was New Book: The School of Niklaus Wirth jenglish@flightlab.com (2000-12-03)
| List of all articles for this month |

From: "Joachim Durchholz" <joachim_d@gmx.de>
Newsgroups: comp.compilers
Date: 25 Nov 2000 01:08:50 -0500
Organization: Compilers Central
References: 00-11-046 00-11-082 00-11-120 00-11-122 00-11-133 00-11-141
Keywords: types, arithmetic
Posted-Date: 25 Nov 2000 01:08:49 EST

Just a minor point:


Jerry Leichter <jerrold.leichter@smarts.com> wrote:
> [...] and signed arithmetic is *not* modulo-2^k arithmetic.


Well, it is, in a sense (you have an offset of 2^(k-1), but that's not a
very strong difference).
You may be confusing this with C, where signed arithmetic overflow has
undefined behaviour (probably because modulo arithmetic for signed
integers was considered too unimportant and too variant to be a useful
part of the standard).


(Stuff that I agree with snipped.)


Regards,
Joachim


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.