Nicolas Pouillard
Hi folks,
We have good news (nevertheless we hope) for all the lazy guys standing there. Since their birth, lazy IOs have been a great way to modularly leverage all the good things we have with *pure*, *lazy*, *Haskell* functions to the real world of files.
We are happy to present the safe-lazy-io package [1] that does exactly this and is going to be explained and motivated in the rest of this post.
Hi, Please let me know if I understood your code correctly. So, the SIO module is used only to ensure that the file processing is finished before the finalizer closes the file, right? In System.IO.Lazy.Input, run is defined as
run :: NFData sa => LI sa -> IO sa run = run' . fmap return'
Can I change it to
run = run' . fmap return ?
I think the semantics is the same because run' will strictly force the processing anyway?