¿Cómo creo un identificador en memoria en Haskell?

Question

Quiero algo que se asemeje a un manejador de archivo, pero realmente está respaldado por un búfer en memoria para usar en redireccionamientos de E/S. ¿Cómo puedo hacer esto?

Answer 1

No es posible sin modificar el compilador. Esto se debe a que Handle es un tipo de datos abstracto, no una clase de tipos.

Answer 2

Esto puede no ser posible. GHC, al menos, parece requerir un controlador para tener un descriptor de archivo del sistema operativo que se utiliza para todas las operaciones de lectura/escritura/búsqueda.

Ver /libraries/base/IOBase.lhs de las fuentes de GHC.

Puede obtener el mismo efecto al solicitar la ayuda del sistema operativo: cree un archivo temporal, conecte el controlador y luego la asignación de memoria del archivo para los redireccionamientos de E/S. De esta manera, todas las E/S del controlador se volverán visibles en la sección asignada de la memoria.

Answer 3

Si puede expresar lo que quiere hacer en términos de C o un sistema de llamadas que puede usar interfaz para funciones de Asuntos Exteriores de Haskell (FFI). Empecé a sugerir el uso de mmap, pero pensándolo bien, creo que mmap podría ser un mapeo incorrecto, incluso si lo usaste con la opción anónima.

Puede encontrar más información acerca de la FFI Haskell en el haskell.org wiki.

Answer 4

Esto es en realidad un error en el diseño de la biblioteca, y uno que me ha molestado, también. Veo dos enfoques para hacer lo que quieres, ninguno de los cuales es terriblemente atractivo.

1. Crear una nueva clase de tipos, hacen que el mango actual una instancia de ella, escribir otro ejemplo de hacer las cosas en la memoria de datos, y cambiar todos los programas que necesitan utilizar este servicio. Posiblemente esto es tan simple como importar System.SIO (o lo que quieras llamar) en lugar de System.IO. Pero si utiliza las rutinas de E/S personalizadas en bibliotecas como Data.ByteString, aún queda trabajo por hacer.

2. reescribir las bibliotecas de E/S para extenderlos para apoyar esto. No es trivial, y mucho trabajo, pero no sería un trabajo particularmente difícil de hacer. Sin embargo, entonces tiene un problema de compatibilidad con los sistemas que no tienen esta biblioteca.

Answer 5

acabo de escribieron una biblioteca que proporciona esta, llamada "perilla" [hackage]. Se puede utilizar para crear Handle s que se hace referencia/modificar un ByteString:

import Data.ByteString (pack) 
import Data.Knob 
import System.IO 

main = do 
    knob <- newKnob (pack []) 
    h <- newFileHandle knob "test.txt" WriteMode 
    hPutStrLn h "Hello world!" 
    hClose h 
    bytes <- Data.Knob.getContents knob 
    putStrLn ("Wrote bytes: " ++ show bytes) 

Answer 6

Para añadir una respuesta moderna a esta pregunta, se puede usar createPipe de System.Process:

createPipe :: IO (Handle, Handle) 

https://www.stackage.org/haddock/lts-10.3/process-1.6.1.0/System-Process.html#v:createPipe