Tag Archives: errors

Off the Beaten Track: Explaining Type Errors

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. … Continue reading

Posted in projects, writing | Tagged , , , , , , , , | 2 Comments

Functional MetaPost

I just spent a very frustrating hour trying to get the functional MetaPost library (a Haskell DSL for generating MetaPost) working. It installs (via cabal-install) without a hitch, but I haven’t been able to get it to actually work. I … Continue reading

Posted in haskell | Tagged , , | 16 Comments