Discussion:
Programming in Oberon - M. Reiser and N. Wirth now in PDF form
(too old to reply)
Chris Burrows
2005-08-13 00:30:03 UTC
Permalink
A scanned copy of Programming in Oberon - M. Reiser and N. Wirth is now
available as a PDF download:

http://www.oberon.ethz.ch/books.html

--
Chris Burrows
CFB Software
http://www.cfbsoftware.com/gpcp
akarl
2005-08-13 02:33:55 UTC
Permalink
Post by Chris Burrows
A scanned copy of Programming in Oberon - M. Reiser and N. Wirth is now
http://www.oberon.ethz.ch/books.html
Great! So far I've only made it to p. 19. I like the sentence: "Pedantry
in programming is not a luxury, but a necessity."

August
akarl
2005-08-13 16:51:47 UTC
Permalink
Post by Chris Burrows
A scanned copy of Programming in Oberon - M. Reiser and N. Wirth is now
http://www.oberon.ethz.ch/books.html
From section 3.2.2 about the types REAL and LONGREAL:

"The real types approximate the real numbers."

To be precise, the real types are (finite) subsets of the rational
numbers. In fact, the real types cannot store a single irrational
number. In this respect I think the name `float' used in C makes more sense.


August
Frank Copeland
2005-08-19 10:21:11 UTC
Permalink
Post by akarl
Post by Chris Burrows
A scanned copy of Programming in Oberon - M. Reiser and N. Wirth is now
http://www.oberon.ethz.ch/books.html
"The real types approximate the real numbers."
To be precise, the real types are (finite) subsets of the rational
numbers. In fact, the real types cannot store a single irrational
number. In this respect I think the name `float' used in C makes more sense.
"Pedantry in programming is not a luxury, but a necessity."
However, sometimes it is just pedantry.
--
Frank Copeland
Home Page: <URL:http://thingy.apana.org.au/~fjc/>
Not the Scientology Home Page: <URL:http://xenu.apana.org.au/ntshp/>

Keep it in Usenet. E-mail replies and 'courtesy' copies are not welcome.
If you're selling, I ain't buying.
chl
2005-08-19 14:18:38 UTC
Permalink
Post by akarl
"The real types approximate the real numbers."
To be precise, the real types are (finite) subsets of the rational numbers. In fact, the real types cannot store a single
irrational number. In this respect I think the name `float' used in C makes more sense.
I disagree. The fact that in Oberon, real types cannot store irrational numbers excactly, is
only an implementation detail (you could, for example, count multiples of pi). On the
other hand, 'float' comes from floating point. This is a break of abstraction, because it is
not strictly required that an implementation uses floating point arithmetic to approximate the
real numers.

C's double is even better. double what?

Christian
August Karlstrom
2005-09-15 19:38:22 UTC
Permalink
Post by chl
Post by akarl
"The real types approximate the real numbers."
To be precise, the real types are (finite) subsets of the rational numbers. In fact, the real types cannot store a single
irrational number. In this respect I think the name `float' used in C makes more sense.
I disagree. The fact that in Oberon, real types cannot store irrational numbers excactly, is
only an implementation detail (you could, for example, count multiples of pi). On the
other hand, 'float' comes from floating point. This is a break of abstraction, because it is
not strictly required that an implementation uses floating point arithmetic to approximate the
real numers.
OK, that makes sense. Thanks.

August

Loading...