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

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