Off the Beaten Track: Explaining Type Errors
Posted on January 21, 2018
Tagged derivation, errors, explaining, explanation, OBT, slides, talk, type, untyping, projects, writing
Tagged derivation, errors, explaining, explanation, OBT, slides, talk, type, untyping, projects, writing
Last week I gave a talk at Off the Beaten Track 2018 about something that Richard Eisenberg, Harley Eades and I have been thinking about recently: namely, how to generate good interactive error explanations for programmers, especially for type errors. None of the talks at OBT were recorded, but I’ve prepared a version of my slides interspersed with (something like) a transcript of what I said.