Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
The main goal of a static type system is to prevent certain kinds of errors from happening at run time.
A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type.
Yet mainstream programming languages are endowed with type systems that provide the means to circumvent their constraints through casting.
We want to understand how and when developers escape the static type system to use dynamic typing.
We empirically study how casting is used by developers in more than seven thousand Java projects.
We find that casts are widely used (8.7% of methods contain at least one cast) and that 50% of casts we inspected are not guarded locally to ensure against potential run-time errors.
To help us better categorize use cases and thus understand how casts are used in practice, we identify 25 cast-usage patterns—recurrent programming idioms using casts to solve a specific issue.
This knowledge can be:
(a) a recommendation for current and future language designers to make informed decisions
(b) a reference for tool builders, e.g., by providing more precise or new refactoring analyses,
(c) a guide for researchers to test new language features, or to carry out controlled programming experiments, and
(d) a guide for developers for better practices.
Thu 24 Oct
|14:00 - 14:22|
Emery BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern University, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern UniversityLink to publication DOI Pre-print
|14:22 - 14:45|
Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italianaDOI
|14:45 - 15:07|
|15:07 - 15:30|
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebookDOI