Jeff Lowery scripsit:
> Real numbers aren't a type???
Well, if a type is just a set/class, then yes, they are. I think it more
useful to exclude uncountable classes from the types. Floating-point
numbers are definitely a type: they are countable and in fact finite.
Integers and rational numbers are a type: countable but not finite.
--
John Cowan
http://www.ccil.org/~cowan http://www.reutershealth.com
Thor Heyerdahl recounts his attempt to prove Rudyard Kipling's theory
that the mongoose first came to India on a raft from Polynesia.
--blurb for _Rikki-Kon-Tiki-Tavi_
