Abstract
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.
Here, empirical methods [5] could help. It turns out, though, that the impact of static type systems is rarely studied using empirical methods. Following the research method of empirical software engineering, this paper introduces an experiment that studies the impact of static type systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cardelli, L.: Type Systems. In: CRC Handbook of Computer Science and Engineering, 2nd edn. CRC Press, Boca Raton (1997)
Conover, W.J.: Practical nonparametric statistics, 3rd edn. John Wiley & Sons, Chichester (1998)
Gannon, J.D.: An Experimental Evaluation of Data Type Conventions. ACM Comm. 20(8), 584–595 (1977)
Hanenberg, S.: An experiment for measuring the difference between statically and dynamically typed programming languages in single developer projects, Technical Report, University of Duisburg-Essen (to appear in June 2010)
Juristo, N., Moreno, A.: Basics of Software Engineering Experimentation. Springer, Heidelberg (2001)
Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)
Prechelt, L., Tichy, W.: A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking. IEEE Transactions on Software Engineering 24(4), 302–312 (1998)
Tratt, L., Wuyts, R.: Dynamically Typed Languages. IEEE Software 24(5), 28–30 (2007)
Wohlin, C., Runeson, P., Höst, M.: Experimentation in Software Engineering: An Introduction. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hanenberg, S. (2010). Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study. In: D’Hondt, T. (eds) ECOOP 2010 – Object-Oriented Programming. ECOOP 2010. Lecture Notes in Computer Science, vol 6183. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14107-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-14107-2_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14106-5
Online ISBN: 978-3-642-14107-2
eBook Packages: Computer ScienceComputer Science (R0)