Ejercicio 17: tipos-17

Escribir el tipo de la siguiente función:

fCondicional f1 f2 f3 x
    | f1 x = f2 x
    | otherwise = f3 x
    where  transformarCond f1 f2 f3 l = map (fCondicional f1 f2 f3) l

Nota: no definir la función, sólo escribir su tipo en la forma

fCondicional :: ....
¡Dame una pista!

Pongan especial interés en las variables de tipo (p.ej. la a en a -> Bool), dense cuenta cuáles tienen que ser la misma letra y en qué casos van letras distintas (la diferencia entre a -> a y a -> b).

Y pensar que las siguientes expresiones deberían tipar:

  • fCondicional null head
  • fCondicional even succ succ 1

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