Здравствуйте, мыщъх, Вы писали:

М>а теперь внимание правильный ответ:
М>если у нас есть тип данных "метр" и есть тип данных "дюйм", то ЯВУ может допускать сложение данных разных типов, если ЯВУ автоматически вызывает процедуру преобразования одного типа в другой и у программиста не болит голова.

"ЯВУ" — язык высокого уровня? ОК, Каков будет тип результата даже при сложении метров с дюймами? Метры? Дюймы? Попугаи? И как на нём выполняется сложение километров с литрами, можно узнать? Кто и как написал "процедуру преобразования" для этих типов? То есть понятно, что "процедуры" написать как-то можно, но ведь это бессмыслица получится, негодная в реальной жизни? Или нет?

М>в принципе, мой ход мысли их удовлетворил. тем более, что блиц. тем более, что мои частные случаи ничуть не более частные чем их "правильный ответ", налагающий жестокие ограничения на выбор ЯВУ и по сути убирающий операции преобразования под кат.

Их "правильный" ответ кажется какой-то ерундой, ну или я чего-то не понял.