Binario pigro get

Question

Perché lo Data.Binary.Get non è pigro come dice? O sto facendo qualcosa di sbagliato qui?

import Data.ByteString.Lazy (pack) 
import Data.Binary.Get (runGet, isEmpty, getWord8) 

getWords = do 
    empty <- isEmpty 
    if empty 
    then return [] 
    else do 
     w <- getWord8 
     ws <- getWords 
     return $ w:ws 

main = print $ take 10 $ runGet getWords $ pack $ repeat 1 

Questa funzione principale si blocca invece di stampare 10 parole.

Answer 1

La documentazione collegata fornisce diversi esempi. Il primo deve leggere tutti gli input prima che possa tornare e assomigli molto a quello che hai scritto. Il secondo è un sinistro e elabora l'input in modo streaming. Ecco il codice riscritto in questo stile:

module Main where 

import Data.Word (Word8) 
import qualified Data.ByteString.Lazy as BL 
import Data.Binary.Get (runGetState, getWord8) 

getWords :: BL.ByteString -> [Word8] 
getWords input 
    | BL.null input = [] 
    | otherwise = 
     let (w, rest, _) = runGetState getWord8 input 0 
     in w : getWords rest 

main :: IO() 
main = print . take 10 . getWords . BL.pack . repeat $ 1 

Testing:

*Main> :main 
[1,1,1,1,1,1,1,1,1,1]