Strict getContents

Li-yao Xia lysxia at
Wed Sep 11 18:01:36 UTC 2019

Hello Libraries,

In base, the functions which read all contents from a handle or file 
into one String currently all do lazy IO: readFile, getContents, 

The easiest way to get a strict alternative seems to be to explicitly 
force the list, for example using ```length contents `seq` pure ()```, 
but that's far from an obvious solution.

Is there a better way?

If not, I propose to add readFile', getContents', hGetContents', which 
don't do lazy IO.

It regularly creates confusion among beginners, and it's easy to assume 
that lazy IO is benign if that's the only way to do certain operations, 
when it's arguably the wrong way to read files to begin with.


More information about the Libraries mailing list