-- function: name -> args: body
add->a:N b:N:N  a+b

-- exported function
^createUser->req:
  body = req.json()?
  user = db.exec("INSERT", body)?
  !{status:201, body:user}

-- named type
type Order:{id:N, amt:N, uid:S}

-- recursive type
type Tree<T>:{val:T, kids:[Tree<T>]}

-- trait / protocol
trait Fmt: fmt->self:S

-- parallel: & collects all results into a list
results = taskA() & taskB() & taskC()

-- sequential: |> passes value forward (bare function stage)
results = auth.verify(tok) |> getUser |> log.info  (pipe stages are bare function references)

-- race: first to resolve wins
result = primary()|~fallback()

-- timeout + retry baked in
data = http.get(url).retry(3).t(5000)?

-- error propagation + fallback
val  = cache.get(key)??fetchFresh(key)

-- map, filter, range
doubled  = items*(x->x*2)
actives  = users%active
sequence = 1..10

-- deep pattern match
match result{
  Ok  v -> !v
  Err e -> log.err(e) |> !nil
}

-- spread + compose
updated = {*original, status:"done"}

@api  #http #db.pg

type Order:{id:N, amt:N, uid:S}

^getOrder->req:
  tok  = auth.verify(req.header.token)?
  user = db.q("users", {id:req.p.id})?
  !user

routes = {"/orders/:id": getOrder, "/orders": createOrder}
http.serve(3000, routes)