En Haskell, ¿la longitud de llamada en un Lazy ByteString fuerza la cadena completa en la memoria?

Question

Estoy leyendo una secuencia de datos grande usando cadenas de bytes perezosas, y quiero saber si al menos hay más bytes disponibles durante el análisis. Es decir, quiero saber si la longitud de la cadena de bytes es de al menos X bytes.

¿Llamar a length dará como resultado que toda la secuencia se cargue, por lo tanto, se pierde el propósito de utilizar la cadena de bytes vago?

En caso afirmativo, el siguiente sería: ¿Cómo saber si tiene al menos X bytes sin cargar todo el flujo?

EDITAR: Originalmente pregunté en el contexto de la lectura de archivos pero entiendo que hay mejores formas de determinar el tamaño del archivo. La última solución que necesito, sin embargo, no debería depender de la fuente de bytesbyg lazy.

Answer 1

Sí.

length . take x.

Answer 2

¿Hay alguna razón por la que no esté usando hFileSize :: Handle -> IO Integer para obtener la longitud del archivo?

Answer 3

EDIT: lo siento. Creo que estaba pensando en que las cadenas de bytes eran listas. No hay una longitud genérica para las cadenas de bytes.

length es estricto porque el tipo que devuelve Int es estricto. Puede usar genericLength de Data.List e importar una biblioteca que define números perezosos de Peano y le da una instancia Num para ellos, por ejemplo, la biblioteca numbers:

Eso le permitiría expresar su función de la manera que desee, pero La respuesta de ephemient es funcionalmente la misma, y ​​no requiere importar una nueva biblioteca.

que acabo de hacer un post sobre el tema aquí, si eso suena como un enfoque que podría estar interesado en:

http://coder.bsimmons.name/blog/2010/03/lazy-arithmetic-in-haskell/

Answer 4

Se tendrá que recorrer toda la cadena, pero si no' Mantenga una referencia a toda la cadena de bytes flojos en cualquier otro lugar, creo que debería ser capaz de liberar la cabeza de la cuerda a medida que avanza hacia su cola.