• Home
  • Posts
  • Books
  • About
  • KR

Mathematics

Why Do Type Systems Behave Like Proofs?

From seeing type checks as compiler hurdles to reading type systems as logic

Jan 25, 2026

Why Do Type Systems Behave Like Proofs?