Totally agree! As for points 1 and 2: in languages with rather powerful type-systems, this is not solved by code generation but with mere language features. Ex

Totally agree! As for points 1 and 2: in languages with rather powerful type-systems, this is not solved by code generation but with mere language features. Examples are Scala or D or also more academic languages like Idris or F*. No intermediate language needed. Unfortunately many mainstream languages such as Java or C# have to rely on code generation to solve the problem.