← All tracks
The type system as a reasoning tool, not a chore — generics, narrowing, inference, and where it echoes ideas JavaScript already had.