Здравствуйте, xy012111, Вы писали:

X>"ЯВУ" — язык высокого уровня? ОК, Каков будет тип результата даже при сложении метров с дюймами? Метры? Дюймы? Попугаи?

Производный анонимный тип "метры плюс дюймы" в виде монады.

X>И как на нём выполняется сложение километров с литрами, можно узнать?

Никак, метры хранятся отдельно, дюймы отдельно, при необходимости можно привести результат к одной из двух, либо вообще к третьей величине, либо вообще взять по отдельности.

X>Кто и как написал "процедуру преобразования" для этих типов?

Кому потребуется, тот и напишет.

X>То есть понятно, что "процедуры" написать как-то можно, но ведь это бессмыслица получится, негодная в реальной жизни? Или нет?

Как раз в реальной жизни оно востребованно. Мы как-то написали POC для банковского баланса, суммы не приводились в рубли на лету, а хранились рубли отдельно, доллары отдельно, фраки отдельно. Конвертация же в ребли осуществлялась в последний момент. Благодаря такой архитектуре, баланс не нужно было сводить по нескольку часов, вместо этого можно было апдейтить баланс в реальном времени. К сожалению недалекие банкиры нашу идею зарубили по каким-то своим политическим причинам.