Без заголовка

Я согласен со многими вашими утверждениями (а по мелочам и спорить не буду). Но хотелось бы понять, как именно это все может выглядеть. Например, как выглядит онтологическое факто-ориентированное программирование из объектного Питона. Ну, или как именно будут закрываться URI разноязычными labels. И тысяча подобных вопросов. Но вы правы с особенностью такого программирования. Если вас заставить к каждому идентификатору делать привязку к окружающему миру, вы взвоете с одной стороны, а с другой стороны, открываются удивительные возможности по взаимодействию с другими программами и людьми.