Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[PDEP] [FUNCIONAL]Ejercicio 8: Inferencia 8
Autor Mensaje
z423 Sin conexión
Campeon del cubo Rubik
Sin estado :(
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 149
Agradecimientos dados: 72
Agradecimientos: 2 en 2 posts
Registro en: Mar 2015
Mensaje: #1
[PDEP] [FUNCIONAL]Ejercicio 8: Inferencia 8 Ejercicios Paradigmas de Programación
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
04-06-2017 15:38
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Santiago. Sin conexión
Empleado de Fotocopiadora
Ing. en Sistemas
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 29
Agradecimientos dados: 9
Agradecimientos: 34 en 12 posts
Registro en: Mar 2016
Mensaje: #2
RE: [PDEP] [FUNCIONAL]Ejercicio 8: Inferencia 8
Ahí estas diciendo que *obligatoriamente* el tipo de x es el mismo tipo que y.

deberías tener algo así: a -> b -> a
(Este mensaje fue modificado por última vez en: 04-06-2017 16:29 por Santiago..)
04-06-2017 16:28
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] Santiago. recibio 1 Gracias por este post
z423 (04-06-2017)
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)



    This forum uses Lukasz Tkacz MyBB addons.