Variables globales y la mónada del lector

Question

Tengo un módulo donde se crea e inicializa un entorno global (que define ciertas restricciones como direcciones IP contiguas, etc.) llamando a una función de inicialización. Varias funciones posteriores deben usar estas restricciones cuando se invocan.

Si bien, en principio, entiendo lo que hace la mónada del lector, no estoy muy seguro de cómo puedo aplicar esto a mi problema, esp.

• cómo se puede utilizar para inicializar un entorno que está definido por el usuario y pasa como datos/argumentos de la función de inicialización. Quiero decir, la mónada del lector tiene que obtener los valores reales que componen el entorno global inmutable de algún lado. Me gustaría que los valores se leen de una llamada a la función de inicialización como myinitial :: arg1 -> arg1 -> IOString donde posteriormente arg1 y arg2 vuelto global de datos inmutables accesibles a las funciones posteriores a través de la mónada lector (?)

• ¿Cómo puedo utilizar estos valores de entorno como argumentos de funciones p.ej recvFrom s arg1 donde arg1 son datos globales inmutables de mi entorno. O if arg2 > arg1 then ... else ...

que podría hacer un archivo de configuración, por supuesto, pero creo que un archivo de configuración quitará a mucha flexibilidad.

[Editar] Entiendo acerca de preguntar, pero ¿no debería haber formas adicionales "parecidas a las de un punto" para que el global/entorno inmutable pueda omitirse si la firma de la función se ha definido, ¿verdad? ¿Cómo podría, por ejemplo, tener que refactorizar mi if-then-else para aplicar this?

Answer 1

Aquí hay un ejemplo que puede aclarar las cosas.En primer lugar es necesario importar el módulo lector:

import Control.Monad.Reader 

Ahora vamos a definir una estructura de datos (que vamos a utilizar para mantener un nombre y una edad)

data Config = Config { name :: String, age :: Int } 

Ahora definir una función que funciona en la mónada Reader (su tipo es Reader Config (String, Int) pero no es necesario que lo especifiquemos, se puede inferir). Todo lo que esta función hace es preguntar por el entorno (del tipo Config) y luego extrae los campos y hace algo con ellos.

example = do 
    c <- ask 
    return ("Hello " ++ name c, 2 * age c) 

Ahora lo ponemos todo junto en un programa. Las primeras cuatro líneas después del bloque do le permiten al usuario ingresar su nombre y edad. Entonces podemos construir una estructura Config utilizando las entradas del usuario (que tenemos que utilizar read para convertir la variable _age, que es un String, en un Int para que podamos alimentar a la Config constructor) y ejecutar example con este entorno, utilizando el runReader función. Finalmente, usamos el resultado de este cálculo para generar algún resultado.

main = do 
    putStrLn "Enter your name:" 
    _name <- getLine 
    putStrLn "Enter your age:" 
    _age <- getLine 
    let config = Config _name (read _age) 
    let result = runReader example config 
    putStrLn $ fst result 
    putStrLn $ "Twice your age is: " ++ show (snd result) 

Answer 2

La mayoría de sus preguntas pueden responderse inspeccionando los tipos y la documentación de las funciones ask y runReader.

primer lugar, el ask:

ask :: Reader m r => m r 

Esto devuelve el de sólo lectura de datos subyacentes envueltos en la mónada. Fresco, así que eso es cómo va a llegar al estado cuando desea utilizarlo con otras funciones, en su ejemplo anterior:

do x <- ask 
    recvFrom s x 

(dependiendo del tipo de recvFrom, por supuesto)

siguiente es el runReader, así es como le das los datos iniciales de los que hablabas. Es, básicamente, sólo se ejecuta el cálculo Reader utilizando los datos que se le da:

runReader :: Reader r a -> r -> a 

que significa: ejecutar el cálculo (el primer argumento) con los datos de sólo lectura de tipo r (el segundo argumento). Finalmente devolverá el tipo de resultado del primer argumento, a. En su caso, esto puede verse como:

result = runReader computationUsingArg1Arg2 (arg1, arg2) 

A continuación, en el interior computationUsingArg1Arg2 se puede leer a través de arg1 y arg2ask.