Высокоуровневый - а от чего особо страшного он нас абстрагирует?

Я бы тут кроме высокоуровневости ввёл критерий "отбалдистости". Сообщения и принятие решения при их анализе - это довольно естественнная, умственно осязаемая абстракция. А эти механизмы перегрузки, полиморфизм - уже нечто сфантазированное, скомбинированное. Можно придумать так, а можно этак... Прозрачность теряется, появляется интеллектуальный произвол... Мне не нравится. Сейчас многие проблемы пытаются решить такими произвольными, скомбинированными средствами - Немерле и т.п. такое же ощущение оставляют. Короче, "катит всё, что внутренне непротиворечиво", как в чистой математике. Чёткий смысл теряется.