Empirical Evaluation of the Usability of Freezable Types for Initializing Immutable Data Structures
October 19, 2016
Track: ACM SRC
Popular practices of initializing immutable data structures have been shown to be unintuitive to today’s programmers. A solution is an alternate approach via a type system utilizing Java’s annotation system. We look to study how programmers interact with this type system by designing and conducting a set of lab experiments in order to inform future iterations of this Freezable type system.