That sounds like what the Java world calls aspect-oriented programming.

Also, GraalVM/Truffle has that sort of ability today, supported for any Truffle language:

https://www.graalvm.org/latest/tools/graalvm-insight/