Tiempo y random

-- Doc example: time & random. `time` is auto-granted; `random` is NOT (deny-by-default).
intent: "doc example: time and random"
require random

print("epoch 0 = " + format_time(0) + ",  a die roll = " + text(random_int(1, 6)))

test "format_time / parse_time round-trip (UTC, ISO-8601)"
    assert_eq(format_time(0), "1970-01-01T00:00:00Z")
    assert_eq(parse_time("1970-01-01T00:00:00Z"), 0)
    assert(now() > 1000000000)

test "random needs `require random`; values land in range"
    let r be random()
    assert(r >= 0 and r < 1)
    let d be random_int(1, 6)
    assert(d >= 1 and d <= 6)

Tiempo

time se auto-otorga bajo run/test (declarás require time bajo serve).

now()                               -- timestamp unix (number)
format_time(now())                  -- ISO-8601 UTC por defecto
format_time(t, "%Y-%m-%d %H:%M")    -- patrón strftime
parse_time("2026-06-30T12:00:00Z")  -- inverso de format_time
sleep(segundos)                     -- pausa

Random — deny-by-default

A diferencia de muchos lenguajes, random necesita require random incluso bajo run — porque la aleatoriedad se usa para tokens y nonces, es una capacidad, no algo gratis.

require random
random()            -- float en [0, 1)
random_int(1, 6)    -- entero en [min, max]
random_bytes(16)    -- n bytes del CSPRNG del SO (engine v0.5.5+)
token()             -- 32 bytes del CSPRNG como base64url — session ids, tokens CSRF

random()/random_int() no son criptográficos — todo lo relacionado a seguridad (tokens, nonces, salts) pasa por random_bytes/token, que leen el CSPRNG del SO. La misma puerta require random para los cuatro. Más en Login y sesiones.