Una función de tipo Haskell: IO String-> String

Question

Escribí un montón de código en Haskell para crear un índice de un texto. La función de la parte superior se ve así:

index :: String -> [(String, [Integer])] 
index a = [...] 

Ahora me quieren dar esta función una cadena leer desde un archivo:

index readFile "input.txt" 

que no funcionará porque readFile es de tipo FilePath -> IO Cadena .

no pudo igualar esperada tipo 'Cadena' contra el tipo inferido 'IO Cadena'

veo el error, pero no puedo encontrar ninguna función con el tipo:

IO String -> String 

Supongo que la clave del éxito está en algún lugar debajo de algunas Mónadas, pero no pude encontrar una manera de resolver mi problema.

Answer 1

Puede escribir fácilmente una función que llame a la acción readFile y pasa el resultado a su función de índice.

readAndIndex fileName = do 
    text <- readFile fileName 
    return $ index text 

Sin embargo, la mónada IO contamina todo lo que lo utiliza, por lo que esta función tiene el tipo:

readAndIndex :: FilePath -> IO [(String, [Integer])] 

Answer 2

bien que no puede deshacerse de la parte IO mónada de IO String. Eso significa que tendrá que hacer que su función devuelva IO [(String, [Integer])].

recomiendo aprender más acerca de las mónadas, pero por ahora se puede salirse con la función liftM:

liftM index (readFile "input.txt") 

liftM tiene esta firma:

liftM :: Monad m => (a -> b) -> m a -> m b 

Se necesita una función no monádico y lo transforma en una función monádica.

Answer 3

Hay una muy buena razón por la que no hay tal función.

Haskell tiene la noción de pureza funcional. Esto significa que una función siempre devolverá el mismo resultado cuando se invoque con los mismos parámetros. El único lugar donde está permitido IO está dentro de la mónada IO.

Si hubo * una función

index :: IO String -> String 

entonces podríamos repente hacer acciones IO en cualquier lugar llamando, por ejemplo:

index (launchMissiles >> deleteRoot >> return "PWNd!") 

pureza funcional es una característica muy útil que Don No quiero perder, ya que permite al compilador reordenar y alinear las funciones mucho más libremente, pueden activarse en diferentes núcleos sin cambiar la semántica y también les da a los programadores una sensación de seguridad, ya que si puedes k ahora qué función puede y qué no puede hacer su tipo.

* En realidad existe es tal función. Se llama unsafePerformIO y se llama así por muy, muy buenas razones. ¡No lo use a menos que esté 100% seguro de lo que está haciendo!

Answer 4

fmap index $ readFile "input.txt" 

o

readFile "input.txt" >>= return . index 

Es posible que desee ver en la mónada y funtores