Исходное сообщение
"Вышел компилятор языка D 2.082" Отправлено Crazy Alex, 06-Сен-18 15:21
Так тип - это и есть хорошо именованная и определённая абстракция, именно для того он и нужен. И когда ты делаешь вычисления ты подразумеваешь, что операнды - это вполне себе объекты некоторго типа, у которых определены операция (то же сложение) с семантикой, которыую ты ожидаешь. А вот когда этого нет и начинается какая-нибудь утиная типизация там, где ты совсем не ждал - это больно. Причём в питоне вы типы всё равно определяете в виде классов, только преимуществами их в плане документирования кода и отлова ошибок потом почти не пользуетесь. Где не важен тип - в D можно писать auto, оно там работает куда круче, чем в тех же плюсах. Но где нужно - типы к вашим услугам.