Do developers benefit from generic types?

Abstract

Type systems that permit developers to express themselves more precisely are one of the primary topics in programming language research, as well as in industrial software development. While it seems plausible that an expressive static type system increases developer productivity, there is little empirical evidence for or against this hypothesis. Generic types in Java are an example: as an extension of Java's original type system, some claim that Java 1.5 improves the type system's "expressiveness." Even if this claim is true, there exists little empirical evidence that claimed expressiveness leads to a measurable increase in developer productivity. This paper introduces an experiment where generic types (in comparison to raw types) have been evaluated in three different directions: (1) the documentation impact on undocumented APIs, (2) the time required for fixing type errors, and (3) the extensibility of a generic type hierarchy. The results of the experiment suggest that generic types improve documentation and reduce extensibility -- without revealing a difference in the time required for fixing type errors.

A Study on the Current Status of Functional Idioms in Java

“…There have been several previous studies on programming language evolution [3], [16], [20]- [22]. For example, Dyer et al [16] studied Java feature adoption over time by analyzing over 18 billion abstract syntax tree nodes, while Parnin et al [20] examined the adoption and use of generics, which were introduced into Java in 2004.…”