VeraCTO · te explica cómo funciona

Teoría

Regla de oro de las APIs: nunca confíes en lo que llega. Si Marta carga un producto sin precio, el error tiene que saltar en la puerta, con un mensaje claro — no a las tres de la mañana en medio del código. Synsema valida por ti con una línea declarativa.

expect body

route "POST /productos"
    expect body {nombre: text, precio: number}
    let b be json of request
    give created({"creado": b.nombre})

expect body {campo: tipo, ...} revisa el cuerpo JSON antes de ejecutar tu código. Falta un campo o el tipo no coincide → responde 400 automáticamente, nombrando el campo culpable.
Tipos disponibles: text, number, bool, list, map.
Después del expect, puedes leer json of request tranquilo: los campos declarados están y son del tipo correcto.

Los códigos correctos

created(x) → 201: algo nuevo quedó creado.
fail(422, "el precio debe ser mayor que cero") → para reglas de negocio más finas que el tipo.
ok(x) → 200 explícito (un give x pelado ya es 200).

El expect valida tipos; las reglas de negocio (precio > 0, nombre no vacío) son tuyas: un when + fail(422, ...). Prueba los helpers abajo — fuera de una ruta son valores imprimibles.

Validar la entrada: expect body y created

+10 xp

Estás en modo lectura. Crea una cuenta o entra para enviar tu solución y ganar estrellas. Puedes ejecutar código igual.

Ejemplo de Vera — modifícalo y ejecútalo