Type checking, teaching the compiler what "makes sense"
How a compiler decides whether "1 + true" is nonsense, using type rules walked over the AST with the symbol table from the previous lesson.
10 min readUpdated 2026-09-03compiler-designtype-checkingsemanticscpp