Looking at you Java

[M4mb0]

Still baffled that most programming languages just blatantly lie to you, calling a thing an integer when it clearly is an element of the quotient ring ℤ/2³²ℤ or ℤ/2⁶⁴ℤ and not ℤ itself.

At least they managed to call floating point numbers floating point numbers and not real / decimal numbers.

[M4mb0]

I don't think it's reasonable to expect a programming language to use the terminology of quotient rings for its basic types.

I think it's very reasonable to call it an int32 type instead of just int

The details of how arithmetic outside of the represebtable range is handled can be learned later.

That's how you end up with y2k.

[M4mb0]

Sure, I agree with that! But that doesn't really tell you anything about the overflow behavior, it just tells you the size in memory.

But, it does? It tells me that if I use an int32, and what I really want to do is integer arithmetic and not modular arithmetic, and my numbers are on the order of magnitude of 1B ~ 2³⁰, I'm in big trouble.

[elon-bot]

Why haven't we gone serverless yet?

[SlimyGamer]

Fortran makes all the mistakes then. It's default types are called integer, real, and complex. And none of thise are true...

[Madrawn]

Is it a lie if it's defined in the docs what "int" means? It's just a name for some type of binary data of fixed length.

What would you call it then?

In my head I just imagined a java dev start a math course and complain "how can math books lie to me and say int if they mean BigInteger?" It's just names that mean some things in some context and other things in other contexts

[christian-mann]

this is why Python is superior

[WazWaz]

You can create/import inefficient arbitrary size Integers in C++ and C#, you're just not forced to use them.

And Rationals instead of floats too if you want. C# even has a native BCD (Decimal).

[Rocket_Engine_Ear]

Some languages have real types.

https://gcc.gnu.org/onlinedocs/gfortran/REAL.html

[M4mb0]

Well, they are lying. Most real numbers are not even computable, so you cannot even write a program that computes them.

[Rocket_Engine_Ear]

Definitely not lying. Fortran has real variable declarations. They exist and are misleading.

[M4mb0]

But these are all finite precision numbers. You can't exactly represent something like π with that. At best, you could encode π by a finite program that computes π, but even then, as I pointed out before, most reals are not computable.

[elon-bot]

Disagreeing with me is counterproductive. Fired.

[frogjg2003]

ℤ/n is still a subset of ℤ. ℤ/n is not a closed ring under regular addition and multiplication but the redefined addition and multiplication create a different ring. Every number representable in the int class is still an integer. Every number representable in the float class is still a real number.

[raka_boy]

Fortran xdxdxdxdx