My (non-expert) understanding is that, in general, the source code is going to be much more verbose than the machine-code output of a compiler. Considering tha

My (non-expert) understanding is that, in general, the source code is going to be much more verbose than the machine-code output of a compiler. Considering that source code is written in a human-readable language and syntax, and machine code only needs to contain enough information for a CPU to decode, it would seem to follow that the source code should be a less efficient method for describing the program.