So, the question is: How can I simulate such scenario in a language like Java?

So, the question is: How can I simulate such scenario in a language like Java? It would be also helpful to get some background information of how this is solved in other programming languages.

So, the question is: Is there any programming language out there with this sort of type system?

So, the question is: How can I simulate such scenario in a language like Java?

In my experience, all languages I know have a sort of "addition" type system. What I mean by "addition type system" is that when you are writing the source code, you always specify what types your function/objects accept, like:

I think it would be very useful in scenarios where you need to specify the behavior for some families of types without the need to write a lot of boilerplate code to implement some exclusion logic.

In my experience, all languages I know have a sort of "positive" type system. What I mean by "positive type system" is that when you are writing the source code, you always specify what types your function/objects accept, like:

I think it would be very useful in scenarios where you need to specify the behavior for some families of types without the need to write a lot of boilerplate code to implement some type exclusion logic.