История изменений
Исправление dizza, (текущая версия) :
На сколько я знаю, в основном по идеологическим причинам: явный тип есть тот тип, который задуман программистом, а не который получился по факту. Тип выражения на самом деле и так выводится, просто он сравнивается с указанным типом, и в случае не совпадения выдается ошибка. Типа это более безопасный подход. Но имхо все это спорно и возможно когда-нибудь добавят и вывод типов, но точно не скоро, это же java :)
Исходная версия dizza, :
На сколько я знаю, в основном по идеологическим причинам: явный тип есть тот тип, который задуман программистом, а не который получился по факту. Тип выражения на самом деле и так выводится, просто он сравнивается с указанным типом, и в случае не совпадения выдает ошибку. Типа это более безопасный подход. Но имхо все это спорно и возможно когда-нибудь добавят и вывод типов, но точно не скоро, это же java :)