Re: Pure File Reading (was: Dealing with configuration data)

On 26 Sep 2002, Yoann Padioleau wrote:

Koen Claessen writes:

i find your idea very good. indeed for the library GetOpt, the argument of a program never change so it make sense to make this library without using IO monad, same for argv and for the enviroment.

for openFile it seems harder, it would require to have a lock on the file to be sure that no one modify the file, same for a webpage.

No, not at all. All that is required is to make sure all calls to openFile f returns the same string, i.e the contents of the file when it was read the first time. /Lars L