Secrets of the GHC Typechecker in 100 Type Declarations - Simon Peyton Jones
Let's read the GHC source code
@lexi_lambda: The GHC optimization pipeline
GHC On "simple" constraints for typechecker plugins by Nicolas Frisby
Building a Typechecker from scratch [4/20] Variables and Typing Environment, Г
Write a GHC extension in 30 minutes by Richard Eisenberg
GHC Core Optimisations - Sebastian Graf - 2023 GHC Contributor's Workshop
Type inference as constraint solving: how GHC’s type inference engine actually works - SPJ
GHC's Renamer - Sam Derbyshire - 2023 GHC Contributor's Workshop
Haskell Language Server - Zubin Duggal - 2023 GHC Contributor's Workshop
@lexi_lambda: GHC Simplifier basics
@rae: Figuring out what constraints to generalize is hard
Ask Me Anything with Simon Peyton Jones, hosted by Benjamin Pierce
HIW 2021 - Full Workshop Video
Getting Up and Running, and Contributing to GHC - Ryan Scott - 2023 GHC Contributor's Workshop
@rae: UndecidableInstances can actually cause a runtime loop. Eek!
Plait Inference 10 - typecheck
Applying unification to type systems
The GHC WebAssembly Backend - Cheng Shao - 2023 GHC Contributor's Workshop
Simon Peyton Jones - TrieMap that match: a programming pearl
![Building a Typechecker from scratch [4/20] Variables and Typing Environment, Г](https://img.youtube.com/vi/YRieePQP59I/0.jpg)
