Free practice · matching · medium
Practice
Match expressions to result types
Match each expression to the type of value it produces.
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.