Examples

Real Saga programs showing the language in action.

Hello World

The simplest Saga program.

A functional BST with insert, contains, and in-order traversal using ADTs and recursion.

Collect all validation errors instead of stopping at the first one, using continuations.

Reading, writing, and deleting files with the File effect and ADT error types.

Spawning concurrent tasks and collecting results with the Async effect.

Automatic retry with a limit using the supervised handler pattern.

Backtracking search using Choose + Fail effects with multishot continuations.

Request-scoped values and audit logs as effects, replacing argument plumbing and the Reader/Writer monads.