> I like typing 3x as much as I would otherwise need to 3x? Even on languages that do not support type inference I would say that this is at most 1.1x. Even th

> I like typing 3x as much as I would otherwise need to 3x? Even on languages that do not support type inference I would say that this is at most 1.1x. Even then, type inference exists. > adding types now means bugs are impossible I usually see that as a mis-representation of what type advocates say. Rather, it seems that people just support that types reduce the amount of bugs. > or show up straight away when running an app Or that show up after you had said app running for a while, and then you get a run-time type error which appears only after doing certain actions. This is the main reason that I am avoiding languages like lua and python. (In addition languages with more advanced type-systems allow you to catch bugs such as buffer overflows or division by 0 at compile time)