Free practice · matching · easy
Practice
Match values to Python types
Match each Python value to its most specific built-in type.
Typed expression trace
Every value has a type before an operator uses it
- Source
- Raw value and its current type
- Contract
- Allowed type, format, and range
- Conversion
- Explicit and failure-aware
- Expression
- Operators applied by precedence
- Evidence
- Resulting value and type
Track the source value, current type, conversion boundary, evaluation order, and resulting type instead of relying on how a value looks.