>>17
if that method can return any int, even if it violates reflexivity, anti-symmetry, or transitivity
All data ultimately resolves to a number. That is the nature of information.
What ``safety'' is actually gained?
You will have to go out of your way to do work with data that have been defined as different data types as the compiler would normally warn the user about it.
All that you've gained is verbosity and unnecessary hassle.
You should design what data you'll use during the system design phase. Writing code should be the easiest part of software development
The fact that nearly every ``statically'' typed language feels the need to poorly reinvent dynamic typing through ``generics'' shows what a sham it really is.
Is there anything wrong with making a tool more flexible and more safe at the same time?