estudiante

OPERACIONES DE ENTRADA Y SALIDA


En los lenguajes imperativos, los programas están
formados por acciones que examinan y modifican el
estado actual del sistema. Algunas acciones típicas son lalectura y modificación de variables globales, la escritura
en ficheros, la lectura de datos y el manejo de ventanas en
entornos gráficos. El sistema de entrada - salida IO de
Haskell permiteutilizar acciones de este tipo, aunque
están claramente separadas del núcleo puramente
funcional del lenguaje.

Lic. Wilber Ramos Lovón

La Monada IO


El sistema de IO de Haskell está basado enun
fundamento matemático que puede asustar a primera
vista: las mónadas. Sin embargo, no es necesario conocer
la teoría de mónadas subyacente para programar usando
el sistema de IO , más bien,las mónadas son simplemente
una estructura conceptual en las que las IO encaja.

Lic. Wilber Ramos Lovón

La Monada IO


Las acciones son definidas, pero no invocadas, al nivel de
la máquinade evaluación que dirige la ejecución de un
programa Haskell. La evaluación de la definición de una
acción no hace que la acción sea realizada. Más bien, la
ejecución de acciones es efectuada en unnivel distinto a
la evaluación de expresiones que hemos considerado
hasta este momento.

Lic. Wilber Ramos Lovón

La Monada IO


Las acciones son atómicas, como el caso de las definidascomo primitivas del sistema, o se obtienen de la
composición secuencial de otras acciones. La mónada de
IO contiene primitivas que permiten construir acciones
compuestas. Esta mónada actúa como unpegamento que
une las acciones que forman parte de un programa.

Lic. Wilber Ramos Lovón

Operaciones de IO básicas
IO a es el tipo de una acción que puede realizar
operaciones de entrada ysalida, y que cuando es realizada
genera un resultado del tipo a. Por ejemplo :
 getChar :: IO Char
 Esta función no devuelve un carácter, sino una acción, que
cuando sea efectuada generará un...