And what this means for essentially all existing quantum languages is that you are forced to work at a very low level of abstraction, where you have to think about all temporary values.

OK, so high-level programming is more akin to human language because it is readable. Furthermore, these languages do not participate in memory management and feature abstraction.

A compiler is a computer program that translates from one format to another, most often from a high-level computer language to byte code and machine code. Compilers come in a number of variations ...