Manejo de errores

Una de las garantías que ofrece Elm es que en la práctica no verás errores en tiempo de ejecución. Esto en parte es porque Elm trata los errores como valores. En vez de simplemente botar el programa cuando algo falla, todas las posibilidades de error son modeladas en forma explícita usando tipos personalizados. Por ejemplo, digamos que quieres obtener una edad a partir de un texto introducido por el usuario. Puedes crear un tipo personalizado como este:

type MaybeAge
    = Age Int
    | InvalidInput


toAge : String -> MaybeAge
toAge userInput =
    ...



-- toAge "24" == Age 24
-- toAge "99" == Age 99
-- toAge "ZZ" == InvalidInput

No importa qué texto se le pase a la función toAge, siempre va a retornar con un valor. Cuando el argumento sea válido, generará valores como Age 24 o Age 99, mientras que un argumento inválido generará un valor InvalidInput. Después podemos usar búsqueda de patrones para tomar en cuenta ambas posibilidades en nuestro código. Y el programa nunca se caerá.

Este patrón lo vas a ver repetido siempre. Por ejemplo, si quisiéramos transformar texto ingresado por un usuario en un artículo (un tipo Post) para compartir con otros usuarios. ¿Qué pasa si el usuario no ingresó un título? ¿O si el artículo no tiene contenido? Podemos modelar estos problemas en forma explícita:

type MaybePost
  = Post { title : String, content : String }
  | NoTitle
  | NoContent

toPost : String -> String -> MaybePost
toPost title content =
  ...

-- toPost "hi" "sup?" == Post { title = "hi", content = "sup?" }
-- toPost ""   ""     == NoTitle
-- toPost "hi" ""     == NoContent

En vez de sólo decir que los argumentos son inválidos, hemos descrito cada una de las formas en que estos datos podrían causar problemas. Si tuviéramos una función viewPreview : MaybePost -> Html msg que nos permite previsualizar articulos válidos, podremos mostrar un mensaje de error específico cuando encontremos algo incorrecto.

Esas situaciones son súper frecuentes. Es muy útil crear un tipo personalizado que se ajuste a nuestra situación específica, pero en los casos más simples podemos optar por una solución prehecha. Durante el resto de este capítulo vamos a explorar los tipos Maybe y Result, y veremos cómo nos ayudan a tratar los errores como datos.