Donar $20 Donar $50 Donar $100 Donar mensualmente
 


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Consulta Funcional: TIPOS
Autor Mensaje
Fly Sin conexión
Secretario de la SAE
estado sólido
******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 511
Agradecimientos dados: 118
Agradecimientos: 169 en 58 posts
Registro en: May 2011
Mensaje: #1
Consulta Funcional: TIPOS Dudas y recomendaciones Paradigmas de Programación
Mañana doy final de Paradigmas y me surgió una duda de último momento.
Intenté hacer unas consultas con el Winhugs:

> :t (==)
(==) :: Eq a => a -> a -> Bool
> :t "baa" == "aaa"
"baa" == "aaa" :: Bool
> :t True == True
True == True :: Bool
> :t 1 == 1
1 == 1 :: Num a => Bool

Lo que no entiendo para nada es porque "1 == 1 :: Num a => Bool" y para el resto no me devuelve ningún tipo ni tampoco el "Eq a=> " que, según la teoría, debería aparecer en toda función que contenga el operador "==".
¿Es esto un problema del Winhugs? ¿Estoy encarando algo mal? ¿Cómo explicaría esto en un final?

Desde ya agradezco cualquier tip!

Saludos
03-08-2012 13:34
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




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



    This forum uses Lukasz Tkacz MyBB addons.