Sat 13 Jan 2018 11:30 - 12:00 at Crocker - Session 1

Every beginning student of programming—that is, every student with the ill fortune of having a language with a static type system foisted upon them by a well-intentioned yet sadistic instructor—is well-acquainted with the Dreaded Type Error Message. Why do type error messages have to be so terrifying? Can’t we do a better job explaining type errors to programmers?

We propose two interrelated theses:

  • We ought to move away from static error “messages” and towards interactive error explanations.
  • We ought to consider the problem of generating error explanations in a more systematic, disciplined, and formal way. Explaining errors to users shouldn’t just be relegated to the status of an “engineering issue”, but ought to have all the tools of programming language theory and practice applied to it.
Abstract (obt18-paper11.pdf)415KiB
Slides (explaining-errors.pdf)429KiB

Sat 13 Jan
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: Off the Beaten Track 2018 - Session 1 at Crocker
OBT-201810:30 - 11:00
Colin GordonDrexel University
File Attached
OBT-201811:00 - 11:30
File Attached
OBT-201811:30 - 12:00
Brent YorgeyHendrix College, Richard A. EisenbergBryn Mawr College, USA, Harley D. Eades IIIAugusta University
File Attached