Вот да. Об этом и речь. Ввели для себя ограничение. И настолько к нему привыкли, что не представляем себе, что можно без него. А попробуй спросить у кассирши на вокзале, зачем различать строки и числа, так она в лучшем случае позовёт следующего по очереди.
Ну и вот щас в разговоре про всякие "42" == 42 и "43" + 1 = 44, вроде нет очевидных проблем, но дело то в неочевидных. И на сколько хорошими будут их решения
Нынче тема выведения типов получила такое мощное развитие. Можно же компилятор научить тому, чтобы он сам, где может, определял что имел ввиду человек, когда написал в исходниках 42. Следуя тем же принципам теории выведения типов - вполне можно. Или в рантайме поступать также, как кложа. Где можно - пусть машина догадается, где не может - пусть человек даст хинт.