Ну это не хорошо ,процессор с типами не работает

(не передергивать) ,он работает с кодом .А уж как там сделали программисты (разработчики) языка ,то это другое дело .Сколько копьев было сломано с обратными связями(споров с разработчиками) ,пока разработчики не ввели явные обратные связи в ОЛ.
Пользователь
не обязан вникать в трудности разработчиков ,а разработчик
должен думать о пользователе ,причем разной квалификации .Лично мне это напоминает наш спор в теме ПР ,о делении на ноль .Сказать пользователю -Сам дурак- это не от большого ума и неуважение пользователя .
Извините ,что встрял