Communication, Expression, and Types: Your Compiler as an Ally
summary
Shows concrete Haskell work: Haskell live coding in GHCi with GHCi + Emacs + ghc‑mod and fast type‑check cycles around 100 ms. Builds types (Person, Color), refactors credit‑card vs mail‑check variants, implements a Maybe‑like type and Functor/Applicative/Monad/Alternative instances, and demonstrates exhaustive match checking and using -Werror for warnings. Emphasizes precise compiler messages, line/column provenance, and editor integration rather than abstract theory.
AI-written summary · about
chapters (11)
- 0:00Start
- 1:15Communication Theory
- 3:33Compilers
- 9:29Product Types
- 10:50Polymorphism
- 20:03Computational Context
- 23:10Monad
- 24:17Alternating Operator
- 27:38Key Takeaways
- 28:42Promote Warnings to Errors
- 30:17Contravariance and Covariance
related talks
36mCommunicating in Types
39mCommunicating in Types
47mCommunicating in Types
50mOverlapping and Undecidable and Incoherent, Oh My!
56mWrite You Some Proofs for Great Good
42mLet the Compiler Help You: How to Make the Most of Scala's Type System
01h 57mTypes as Program Specifications: A Intro to Type-Level Programming in Haskell
33mStatically Typed Interpreters