Las mónadas son un concepto central en la programación funcional. Aunque suenen complicadas, en Elm ya las usamos todo el tiempo sin darnos cuenta.
En términos simples: Una mónada es un funtor con una forma de encadenar operaciones que devuelven estructuras.
En Elm esto se hace con funciones como andThen (también llamada bind en otros lenguajes).
Maybe como mónada: Cuando trabajamos con valores opcionales (Maybe), podemos encadenar operaciones sin preocuparnos por el caso Nothing.
dividir : Int -> Int -> Maybe Int
dividir a b =
if b == 0 then
Nothing
else
Just (a // b)
calculo : Maybe Int
calculo =
Just 100
|> Maybe.andThen (\x -> dividir x 2)
|> Maybe.andThen (\y -> dividir y 5)
-- Resultado: Just 10
Si en algún paso se produce un Nothing, toda la cadena devuelve Nothing automáticamente.
Result como mónada
Con Result, podemos propagar errores sin necesidad de escribir mucho código repetitivo:
parseEntero : String -> Result String Int
parseEntero s =
case String.toInt s of
Just n -> Ok n
Nothing -> Err "No es un número"
invertir : Int -> Result String Float
invertir n =
if n == 0 then
Err "División por cero"
else
Ok (1 / toFloat n)
calculo : Result String Float
calculo =
parseEntero "10"
|> Result.andThen invertir
-- Resultado: Ok 0.1
Si el parseo falla, se corta la cadena con Err. Si no, se sigue con el siguiente cálculo.
List como mónada
Con listas, una mónada nos permite generar todas las combinaciones posibles de elementos:
pares : List (Int, Int)
pares =
[1, 2]
|> List.concatMap (\x ->
[3, 4] |> List.map (\y -> (x, y))
)
-- Resultado: [(1,3),(1,4),(2,3),(2,4)]
Esto es equivalente a las list comprehensions en Haskell.
Resumen de funciones clave en Elm
- Maybe.andThen → encadena operaciones opcionales.
- Result.andThen → encadena operaciones que pueden fallar con error.
- List.concatMap → encadena operaciones que generan más listas.
Todas siguen el mismo patrón monádico.
En Elm, aunque no hablemos directamente de “Mónadas” en la sintaxis, las usamos constantemente.
