автоматическое добавление аспекта(т.е. реализации сквозной функциональности, выполненной в виде специального класса (модуля), содержащего фрагменты дополнительного кода (аспекта), в точке присоединения; код аспекта в языках функционального и функционально-императивного программирования может содержаться не в специальном модуле, а в классе-построителе вычислительных выражений (монад))