Abstracting effects with continuations
- Representing errors as values is a powerful tool for writing reliable programs.
- A result value wraps the desired value or holds information about why the computation failed.
- An explicit result type represents the possibility of failure in the type system.
Unverified
- Representing errors as values is a powerful tool for writing reliable programs.
- A result value wraps the desired value or holds information about why the computation failed.
- An explicit result type represents the possibility of failure in the type system.
Sources: Crowdhailer