13 Aug
2009
13 Aug
'09
5:45 a.m.
2009/08/12 John A. De Goes
The next step is to distinguish between reading file A and reading file B, between reading file A and writing file A, between reading one part of file A and writing another part of file A, etc. When the effect system can carry that kind of information, and not just for files, but network, memory, etc., then you'll be able to do some extremely powerful parallelization & optimization.
I am challenged to imagine optimizations that would be safe in the case of File I/O. -- Jason Dusek