2009/08/12 John A. De Goes <[email protected]>: > 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
