Endless cycle of fighting with programming errors.

Programmers are funny creatures. First they invented strongly typed programming languages so that compilers can automatically detect more errors in programs. Then computers became faster and this allows programmers to switch to weakly typed programming languages. These languages consume more computing resources but programmers say this speeds up their work. Programmers now do not need to bother with designing and describing an elegant system of types and thus they are supposedly saving working time. But, since it is impossible to automatically detect errors in weakly typed languages, programmers start to make much more errors than before. Ultimately, in order to reduce the number of errors in programs written in weakly typed languages, programmers decided to manually write sets of tests for their programs that automatically detect errors in programs. As a result, programmers have to write twice as many program code and the speed of their work became even less than it was in strongly typed languages. But now nothing can be changed because huge areas of software, for example, almost the entire Internet, are occupied by weakly typed languages, hundreds of thousands of programmers are trained only in weakly typed languages and do not want to retrain. And for all this cycle of idiocy in nature pay and pay customers of software and its users.