Ejercicio 12: Restricciones Múltiples

¿Ahora que pasa si tenemos más de un parámetro, y no todos los parámetros pertenecen a la misma clase de tipo? Fácil, utilizamos diferentes variables de tipo:

funcionLoca :: (Eq a, Show b) => a -> a -> b -> Bool
funcionLoca x y z = x == y || show z == "hola"

Y esto se lee así: los parámetros de tipo a tienen que ser Eq, mientras que los de tipo b tienen que ser Show.

También podés aplicar distintas restricciones a la misma variable de tipo.

Ahora te toca a vos!

funcionMisteriosa1 x  = x > 10
funcionMisteriosa2 x y z w = x >= y && z == w
¡Dame una pista!

Pensá esto...

Si tenemos estos números complejos (2 + 3i) y (4 - 1i) ¿cuál es mayor y cuál menor?

¡Ahá! ¡caíste!, no todos los números son ordenables, ni todos los ordenables son números.

Tenés que iniciar sesión antes de empezar a enviar tus soluciones