Introduction to Rae Let Generalization Is Confusing
Exploring Rae Let Generalization Is Confusing reveals several interesting facts. I explain the infrequently-written but often-implied -XMonoLocalBinds extension and how it prevents
Rae Let Generalization Is Confusing Comprehensive Overview
I describe the MonoLocalBinds extension to GHC, and describe how it makes type inference more predictable by disabling local ... In this broadcast of my talk at the Haskell Implementors' Workshop, I describe how GHC infers a Recent work within GHC has opened up questions about which constraints should be
I go through a few common type error messages from GHC and explain what the terms in the messages mean. This video is ...
Summary & Highlights for Rae Let Generalization Is Confusing
- This video explores the DeriveAnyClass GHC extension, describing what it does, why it could be considered dangerous, and a ...
- Richard Eisenberg explores why we need the Proxy type, why we *almost* can get rid of it (cue -XTypeApplications), but ultimately ...
- We like to think of Haskell as being order-independent: no matter what order you put your declarations in, your program means ...
- I explain Haskell's `Coercible` feature, and why we sometimes need role annotations to keep our code working correctly.
- It turns out that a clever trick from @arybczak allows us to suppress the liberal coverage condition of functional dependencies.
Stay tuned for more updates related to Rae Let Generalization Is Confusing.