28: Richard Eisenberg
The Haskell Interlude
00:00
How to Solve Constraints in Haskell
The GHC type checker has been around for the last 10 years or so. It's really going to look a lot less like that paper than previously, Richard says. We're discovering strange aspects of the type checker where sometimes we have an equality between two types that can't actually be made equal. The only solution to that is something that would be infinitely sized and then depending on what family there is, maybe it doesn't work.
Transcript
Play full episode
