Краткий ответ: Нет
Но есть языки, которые содержат конструкции, которые имитируют аспекты, например, Haskel, который содержит возможность добавлять советы или Smalltalk из-за своего подхода к сообщениям. Вы также можете взглянуть на Eifel с его контрактно-ориентированным подходом, который можно сравнить с применением аспектов к функциям.
Но чистый язык АОП, я бы сказал, нет.
Редактировать: И конечно же, кто-то нашел язык АОП;)