-- 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
[a, b, c] = taskA() & taskB() & taskC()

-- sequential: |> passes value forward
auth.verify(tok) |> db.q("users")

-- 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"}

@web+@ios+@android
#ui #http.ws #auth

~msgs:[S]=[]
~input:S=""
ws = http.ws("wss://api/room")?
ws.on(m -> ~msgs=[*msgs, m])

ui.view[
  msgs*(m -> ui.bubble m)
  ui.row[
    ui.input{val:input}
    ui.btn{tap:ws.send(input)} "Send"
  ]
]