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

Так я, вроде, именно про вмешательство в байткод говорю (и ссылку на Piumarta привел, который в VVM обеспечивающие это функции вводит). Не только AspectJ вмешивается в байткод. Если говорить о "подъеме", то (кроме "логического программирования" типа Prolog, пожалуй ;) сейчас все разные "программирования" на подъеме -- тот же Smalltalk тоже вполне начинает процветать, по мере того, как скорость его приближается к 50% от скорости кода на C, но с сохранением всех его пряников. Я думаю, после работ Piumarta по синтезу объект-ориентированного и функционального подходов в рамках общей VVM-машины с портированием на десяток платформ в мозгах будет серьезный сдвиг, и можно говорить о новом поколении программирования. Уровень языков (число строк программы на один концепт, который программист пытается сообщить тупому компьютеру) поднимется существенно, оценки Алана Кея и Яна Пиумарты -- число строк в реализации полномасштабной программной среды с нынешних 230000 строк может упасть до 20000 строк. Это значит, что язык может быть выразительней в десяток раз по сравнению с сегодняшним Smalltalk. Ради такого дела в университетах можно и устроить массовый тренинг по заворачиванию мозгов.