VeraCTO · te explica cómo funciona

Teoría

En la misión anterior chocaste con el problema central de todo sistema real: los datos que no están. Synsema tiene un valor para eso — nothing — y unas cuantas reglas para no pisar una mina cuando algo falta.

`nothing` aparece solo

Una tarea sin give devuelve nothing.
index_of(lista, x) devuelve nothing si no está (¡no -1!).
find_first(lista, predicado) devuelve nothing si nadie cumple.
capture(texto, patron) devuelve nothing si no hay coincidencia (lo verás pronto).

Se compara con ==: when resultado == nothing. En una condición, nothing cuenta como falso (igual que 0, "", [] y {}).

Mapas: preguntar antes de entrar

ficha["edad"] con la clave ausente lanza un error (Map has no key 'edad'). La guardia correcta es contains:

when contains(ficha, "edad")
    print(ficha["edad"])
otherwise
    print("sin edad registrada")

La trampa de and: en Synsema and/or evalúan siempre los dos lados. contains(ficha, "edad") and ficha["edad"] > 65 explota igual cuando falta la clave, porque el lado derecho se evalúa aunque el izquierdo sea falso. La forma segura son dos when anidados.

División segura

task promedio(valores)
    when length(valores) == 0
        give 0
    give sum(valores) / length(valores)

El caso vacío se despacha antes de dividir. Este patrón — el caso borde primero, con give temprano — es la firma de un programa defensivo.

nothing y las guardas seguras

+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