Rae Deferring Type Errors In Haskell

GHC/

I go through a few common

We like to think of

I give an introduction to GHC's RebindableSyntax extension, with examples. GHC manual page: ...

I explain GHC's

I walk through the several different warnings GHC can produce about pattern matches. Find me at https://richarde.dev/ or on ...

I demonstrate how using impredicative

Inspired by https://gitlab.

In some GHC work I've been up to (in collaboration with Sam Derbyshire aka @sheaf and Simon Peyton Jones), I discovered that ...

I explain the infrequently-written but often-implied -XMonoLocalBinds extension and how it prevents let-generalization.

Recent work within GHC has opened up questions about which constraints should be generalized (that is, included in an inferred ...

Richard Eisenberg explores why we need the Proxy

This video demonstrates a way to access the full

I explain a recent accepted proposal to remove (/=) from the Eq

Spurred on by https://gitlab.

I explore a challenging

Welcome to this beginners tutorial of

Testing the failure cases of code is often as important as testing the successful paths. The Pandoc filter we worked on in the ...

I introduce

Previous video: https://youtu.be/fcFDKY8pylo Code: https://github.com/contextfreecode/boolerr Thanks much to Karidia Konaté for ...