Initiating I/O reads automatically using partial evaluation
One possible inconvience in the system is that I/O operations that seem like "just reads" without side-effects actually must have a side-effect of requesting the desired data.
Two ideas I've had so far to help avoid having to return back all these side effects from code that just does I/O reads are:
- Instrument the application to insert the required information to figure out which files / URLs are being read and run that separately to figure out what files to read
- Have an invisible side-effect of trying to read a file that remembers which files were read and fetch them behind the scenes.
Both are equivalent in a way, actually.