我正在学习 Haskell，但很难理解惰性 ByteStrings 的工作原理。 Hackage 说“惰性字节字符串使用严格块的惰性列表，使其适用于 I/O 流任务”。相比之下，严格列表存储为一个大数组。
惰性字节串中的这些“块”是什么？您的编译器如何知道块应该有多大？此外，我理解惰性列表背后的想法是您不必存储整个事物，因此允许无限列表等等。但是这个存储是如何实现的呢？每个块是否都有指向下一个块的指针？
非常感谢您的帮助:)
【问题讨论】：
标签： haskell lazy-evaluation bytestring
你可以找到definition of the lazy ByteString here:
data ByteString = Empty | Chunk {-# UNPACK #-} !S.ByteString ByteString
deriving (Typeable)
所以Chunk 是一个数据构造函数 - 第一部分是严格的 (!) strict (S.) ByteString，然后是更多的 Chunks 或 @987654332 @ 通过第二个递归（惰性）ByteString 部分。
请注意，第二部分没有 (!) 那里 - 所以这可以是 GHC thunk （Haskell 中的 lazy 东西）只有在你需要时才会被强制 它（例如 pattern-match 就可以了）。
这意味着一个懒惰的ByteString 要么是Empty，要么你得到一个严格的（如果你愿意，你可以认为这是已经加载）部分或块 lazy 剩余/rest/tail ByteString 的完整字符串。
关于大小取决于生成这个惰性字节串的代码 - 编译器不会进入这个。
你可以看到hGetContents：
hGetContents = hGetContentsN defaultChunkSize
defaultChunkSize 定义为 32 * 1024 - 2 * sizeOf (undefined :: Int) - 所以略小于 32kB
是的，rest（Chunk 的参数）可以看作是指向下一个 Chunk 或 Empty 的指针（就像 normal em> 列表）。
【讨论】：