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

Это всё было верно 40 лет назад, и верно сейчас. Но не появилось ли за эти 40 лет чего-то такого же интуитивного и мощного, новых упрощающих различений с такой же возможностью введения абстракций инкрементно и немедленным практическим приложением? Вот же в чём устаревание, а не в методической сути. Я вот столкнулся, например, с намеренным отделением моделирования данных (вплоть до крайне позднего введения понятия переменной, и уж точно избегания введения понятия массив и строка) в курсе алгоритмики. Оказалось суперэффективно: модели данных и идея "памяти" были отданы в "исполнители", где воспринимались естественно и интуитивно. А основной тренинг шел для абстрактных "цикла", "условного оператора", "вспомогательного алгоритма" -- то есть основ процедурной парадигмы. Так и тут, фишка ведь в предлагаемых базовых понятиях и тренинге в этих базовых понятиях. Не появилось ли чего-то более базового и крутого за 40 лет -- типа того, что сам Дьедонне привёл для школы из открытий 40 лет до него? Как-то не верится в застой...