DDC compiler and effects; better than Haskell? (was Re: [Haskell-cafe] unsafeDestructiveAssign?)

Jason Dusek 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.

Jason Dusek

More information about the Haskell-Cafe mailing list