Impact of Using a Static-Type System in Computer Programming

Ismail Rizky Harlin, Hironori Washizaki, Yoshiaki Fukazawa
2017 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)  
Static-type systems are a major topic in programming language research and the software industry because they should reduce the development time and increase the code quality. Additionally, they are predicted to decrease the number of defects in a code due to early error detection. However, only a few empirical experiments exist on the potential benefits of static-type systems in programming activities. This paper describes an experiment that tests whether static-type systems help developers
more » ... ate solutions for certain programming tasks. The results indicate that although the existence of a static-type system has no positive impact when subjects code a program from scratch, it does allow more errors in program debugging to be fixed.
doi:10.1109/hase.2017.17 dblp:conf/hase/HarlinWF17 fatcat:n7jid7pbhve6df3xsjxsimk3jm