SPLASH 2014 (series) / PLATEAU (series) / Evaluation and Usability of Programming Languages and Tools /
Considering Productivity Effects of Explicit Type Declarations
Static types may be used both by the language implementation and directly by the user as documentation. Though much existing work focuses primarily on the implications of static types on the semantics of programs, relatively little work considers the impact on usability that static types pro- vide. Though the omission of static type information may decrease program length and thereby improve readability, it may also decrease readability because users must then frequently derive type information manually while reading programs. As type inference becomes more popular in languages that are in widespread use, it is important to consider whether the adoption of type inference may impact productivity of developers.
(plateau2014_submission_12.pdf) | 123KiB |
Tue 21 Oct Times are displayed in time zone: Tijuana, Baja California change
Tue 21 Oct
Times are displayed in time zone: Tijuana, Baja California change
15:30 - 15:52 Talk | Wyvern: Impacting Software Security via Programming Language Design PLATEAU Darya MelicherCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University File Attached | ||
15:52 - 16:15 Talk | Considering Productivity Effects of Explicit Type Declarations PLATEAU Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University File Attached | ||
16:15 - 16:37 Talk | Usability Hypotheses in the Design of Plaid PLATEAU File Attached | ||
16:37 - 17:00 Other | Group Activity PLATEAU |