Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study

Static type systems (see e.g. [6]) are one of the major topics in research, teaching, as well as in industry. However, while type systems are well-studied from a theoretical perspective, there is hardly any knowledge about the impact of static type systems on practical programming with a programming language. In literature, several arguments advocate the use of static type systems (see for example [1]); at the same time, there are arguments which advocate the use of dynamic type systems (see e.g. [8]): it is unclear which arguments describe observable phenomena and which do not.