Comment by JohnHaugeland
Comment by JohnHaugeland 3 months ago
The class is mathematics. In mathematics, numbers do not have types.
You also shouldn't try to mention INT_MAX, negative zero, rounding error, or other computer science topics which do not exist in mathematics.
Type theory comes from math. Numbers in math do in fact have types. Most of the time we ignore it but numbers in math have types. math also has the concept of max number rolling back to zero ogain something anyone who has studied types in math would know. Rounding error is studied in several different math fields.
negative zero isn't in any math I know of. It is only in obsolete computer science though.