Regarding Thomas first complaint about current implementations being runtime pattern matching, micronauts implementation of AOP is entirely compile time pattern matching.

It's really neat:

https://micronaut.io/2019/10/07/micronaut-aop-awesome-flexib...