An empirical study of the influence of static type systems on the usability of undocumented software
MetadataShow full item record
Although the study of static and dynamic type systems plays a major role in research, relatively little is known about the impact of type systems on software development. Perhaps one of the more common arguments for static type systems in languages such as Java or C++ is that they require developers to annotate their code with type names, which is thus claimed to improve the documentation of software. In contrast, one common argument against static type systems is that they decrease flexibility, which may make them harder to use. While these arguments are found in the literature, rigorous empirical evidence is lacking. We report on a controlled experiment where 27 subjects performed programming tasks on an undocumented API with a static type system (requiring type annotations) as well as a dynamic type system (which does not). Our results show that for some tasks, programmers had faster completion times using a static type system, while for others, the opposite held. We conduct an exploratory study to try and theorize why.
Showing items related by title, author, creator and subject.
Kleinschmager S; Hanenberg S; Robbes R; Tanter E; Stefik A (IEEE Computer Society, 2012)Static type systems play an essential role in contemporary programming languages. Despite their importance, whether static type systems influence human software development capabilities remains an open question. One ...
Tkalcic M; Carolis BD; Gemmis M; Kosir A (ACM, 2016)The 4th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) is taking place in Boston on September 16th, 2016 in conjunction with the ACM RecSys 2016 conference. The workshop focuses on the acquisition ...
Tkalcic M; Carolis BD; Gemmis M; Odic A; Kosir A (ACM, 2015)The EMPIRE workshop focuses on recommender systems (and other personalized systems) that take advantage of user-centric properties, such as emotions and personality. The workshop is organized as a focused mini-conference ...