Hola, como estan?
Dado el siguiente ejercicio:
main = do ts <- putStr "Hola"
putStr "Chau"
putStr (show ts)Se pregunta que hace el programa.La salida del mismo es HolaChau()
No nos queda claro porque () al final. De donde se desprende este?
Agradezco de ante mano.
Saludos.
Hola, yo llegué al resultado. Comparto mi desarrollo a ver si está bien.
Entiendo que la primer linea imprime Hola, y asigna el nombre ts al resultado de evaluar la acción IO (). Esto lo saqué por la definición de <- en el do notation, y porque putStr "Hola" :: IO(). Por otra parte, el resultado de evaluar IO() es () (el tipo unit), pero hasta acá no lo vemos.
La segunda linea imprime Chau.
Entonces en la tercera linea tenemos que show ts es show (()) = "()". Así es como putStr "()" aporta el juego de paréntesis esos después del HolaChau.
La expresión putStrLn "Hola" tiene tipo IO (). Ligamos el resultado de la computación a la variable ts, ts vale entonces (). Luego show ts vale "()", que es lo que imprimimos en la última linea.
¿Se entiende?
Si, ahora que lo dices, no tiene sentido que una evaluación sea un tipo. Muchas gracias por la aclaración.
Saludos.