All "high abstractions" programing languages comes with the costs of computing such abstractions which comes from either: compiler complexity and/or CPU usage.

All "high abstractions" programing languages comes with the costs of computing such abstractions which comes from either: compiler complexity and/or CPU usage. All programing languages will output the compiled code to CPU instructions. And the CPU is indeed "imperative" in nature. CPU works using simple logic gates. At the moment with the current knowledge the best performance we can get is with low level programing languages that can directly talk to the CPU. That's why such low level programming languages have been created this way.