Effects and Validation
Effect-handler walkthroughs that show one computation running under multiple validation policies.
Effect examples keep the computation fixed and change the handler. This makes policy choices explicit: collect validation errors, log each check, or stop at the first failure.
The source for this section lives under examples/.
Walkthroughs
- Handler-Swap Validation: Run one validation computation with collecting, logging, and strict handlers.