Free practice · ordering · medium
Practice
Review a typed expression
Order the reasoning steps for reviewing an expression that uses user input.
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.