Sun 20 Oct 2024 14:30 - 15:00 at Pacific A - Papers 2 Chair(s): Jonathan Aldrich

Gradually-typed languages feature a dynamic type that supports various implicit coercions, greatly weakening the type system but making types easier to adopt. Understanding how developers use this dynamic type is a critical question for the design of useful and usable type systems. This paper reports on an in-progress corpus study of the dynamic type in Python, targeting 221 GitHub projects that use the mypy type checker. The study reveals eight patterns-of-use for the dynamic type, which have implications for future refinements of the mypy type system and for tool support to encourage precise type annotations.

Sun 20 Oct

Displayed time zone: Pacific Time (US & Canada) change

14:00 - 15:30
Papers 2HATRA at Pacific A
Chair(s): Jonathan Aldrich Carnegie Mellon University
14:00
30m
Talk
Surveying the Rust Verification Landscape
HATRA
Alex Le Blanc University of Waterloo, Patrick Lam University of Waterloo
Link to publication
14:30
30m
Talk
Toward a Corpus Study of the Dynamic Gradual Type
HATRA
Dibri Nsofor University of Utah, Ben Greenman University of Utah
Link to publication