Introduce Typed Result
Kind: technique
Layer: Correctness Core
Record: lexicon:introduce-typed-result
Canonical: Lexicon
A technique for returning success or a typed error as a value, so callers handle failure through the type system.
Listed in Lexicon terms, after Verbosity and before Translate Errors at the Boundary.
Category
Refactors
- Inconsistent Error Model
- Exception Control Flow
- Null Semantics Drift
- Log-as-Control-Flow
- Postconditions
- Error Handling