Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Section 2 — Advanced Topics

This section covers advanced type system features, polymorphism, and functional programming patterns.

Chapters

  1. Type Inference
  2. Polymorphism
  3. Typeclasses
  4. Instances
  5. Constraints and Where
  6. Resolution and Coherence
  7. Functor
  8. Applicative
  9. Monad
  10. Writing Instances
  11. Defaulting
  12. Higher-Kinded Types