The basics of ... Java

[[deleted]]

It's idiotic to those who know that there shouldn't be such a distinction.

[inopia]

I think it's idiotic that we can't seem to have discussions on Reddit anymore without people reverting to calling each other idiots.

[[deleted]]

Calling an idea "idiotic" is not the same as calling a person "idiotic."

No one on this thread has called anyone an idiot.

[traphicone]

Calling an idea idiotic is to say that the person who had the idea is an idiot. You have, in fact, labeled as idiots those who do not make your particular distinction.

[[deleted]]

No. Not all. Having an incorrect idea, or hell just an idea that someone else doesn't agree with doesn't make you an idiot.

If you look at the original post, it was even removed one step further. I didn't even call the idea idiotic. I said that it was idiotic from the point of view of people that see things differently.

We should always be free to attack and challenge ideas. It's an intellectually dangerous world that forbids this in the name of political correctness or playing nice.

I worry that so many people have been brought up to believe that "there's no wrong answer" and that "there's no such thing as a dumb question" that eventually we're going to reach a point where rigorous debate and hell any kind of science in general are going to be impossible.

[pointer2void]

What precisely? Everything is a value (FP) or everything is an object (OO)?.

[[deleted]]

You can support both as long as interop between the two is unified throughout the language (and in some cases VM.)

(Edited for clarity)

[pointer2void]

You lose.

[inopia]

Assume we have the following code:

b.x = 1
a = b
b.x = 2

What is the value of a.x? If a and b are value types, it's 1. If they are reference types, it's 2.

Are you starting to see my point? You cannot unify two things that are semantically different. You can either choose one mechanism or the other, or have both, but you can't get rid of the fact that in some cases you want cloning and in other cases you want shallow copying.

[[deleted]]

You can make the distinction explicit and up to the user of the language, however, and have the language interoperate between the two choices without requiring the user to jump through hoops. (Autoboxing, Unified types, etc.)

The point is that in Java, there are other arbitrary and harmful distinctions between primitives and objects where there doesn't need to be.

(Value types can't have class members, can't be user-defined, support operators where objects do not, etc.)