I think this is certainly true, except for the "each engineer [bringing] whatever syntax or language" point.

At some stage, I expect that we will know what is the set of "optimal" computer languages for the interface between the programmer and the machine code.

Natural languages can't really capture the lower-level details of a program, but there's (probably) also no need for all N different ways to write a for loop.