04-06-2017, 15:38
Hola! Estuve intentando resolver el ejercicio Ejercicio 8: Inferencia 8 de mumuki
Escribir el tipo de la siguiente función:
f1 x y = x
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 5 "hola"
f True 5
Pensé que quizás tiene alguna relación con la función ID.
Intente con: f1::Show a=> a->a->a
Pero me da error en el caso de f1 True 5
Escribir el tipo de la siguiente función:
f1 x y = x
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 5 "hola"
f True 5
Pensé que quizás tiene alguna relación con la función ID.
Intente con: f1::Show a=> a->a->a
Pero me da error en el caso de f1 True 5