12-04-2018, 19:52
Buenas, estoy con este ejercicio hace bastante tiempo y no le puedo dar la vuelta:
f1 x y = x || even y
* x es un booleano
Tengo que sacar el tipo.
Yo se que even es del tipo (Integral a) => a -> bool
Necesito sacar el tipo de f1:
Yo lo plantee hasta ahora :
f1 :: (Eq a, Integral b) => a -> b -> bool
Si alguno me da una mano estaría de 10
Gracias.
f1 x y = x || even y
* x es un booleano
Tengo que sacar el tipo.
Yo se que even es del tipo (Integral a) => a -> bool
Necesito sacar el tipo de f1:
Yo lo plantee hasta ahora :
f1 :: (Eq a, Integral b) => a -> b -> bool
Si alguno me da una mano estaría de 10
Gracias.