Barrapunto

> Precisamente, el tema es que C/C++ se presta a que se confunda una errata con un error de concepto. Y a que una errata pase desapercibida porque el compilador lo entiende como algo normal y esté enmascarando un error (por concepto o por errata) grave.

Igual que todos los lenguajes.

Si en un bucle anidado cambias una "i" por una "j" en cualquier lenguaje común, la has cagado y el compilador no dirá nada.

¡Son tan parecidos la "i" y la "j"! ¡Y es tan tan cerca!... ¡Deberíamos usar "iIi" y "JjJ" para los contadores!

Sí, pero no hay la posibilidad de establecer una fácil diferenciación sintáctica entre i y j (conceptos semánticamente equivalentes, puesto que ambos son variables) mientras que sí la hay para establecer una diferenciación entre la igualdad y la asignación, conceptos semánticamente diferentes desde cualquier punto de vista.
Puedes justificarlo como puedes rebozarte en un lodazal, eso es cosa tuya.