DDC compiler and effects; better than Haskell? (was Re:
jason.dusek at gmail.com
Thu Aug 13 05:45:29 EDT 2009
2009/08/12 John A. De Goes <john at n-brain.net>:
> 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.
More information about the Haskell-Cafe