I've been keeping this a secret, but for the past 18 months, I've been collaborating with Simon Peyton Jones and Richard Eisenberg on formalizing GHC's typechecker! It turns out that there are some very awkward interactions between the extensions.
January 11, 2025 at 7:25 AM
I've been keeping this a secret, but for the past 18 months, I've been collaborating with Simon Peyton Jones and Richard Eisenberg on formalizing GHC's typechecker! It turns out that there are some very awkward interactions between the extensions.