Module
Type Systems and Type Checking
Sign in to add this module to your path and practice.
About
Static vs dynamic typing, type safety, simple type rules (expressions, functions, products/sums), polymorphism basics, and type inference intuition.
Goal
State and apply typing rules for a small language, identify type errors, and explain soundness/safety goals.
Unlocks
Tutor
Ask questions about this module.
Hi — I'm your tutor for Type Systems and Type Checking. Ask about the concepts, goal, or where you're stuck.