Inferencia 9

Escribir el tipo de la siguiente función:

f1 x y z = x == 4

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

f1 :: ....
¡Dame una pista!

Pensar que las siguientes expresiones deberían tipar:

  • f 8.45 5 True
  • f 9 False 'a'

Recordá que no todos los números pueden compararse por igual

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