Issue #972 has developed into a scheme for powerful rewriting of possibly-side-effecting programs. We should document it carefully, possibly up to the point of writing a paper/functional pearl/blog post.
A starting point is to survey the state of the art, e.g. googling for
converting control dependencies to dataflow dependencies in rewrite systems compiler side effects
Issue #972 has developed into a scheme for powerful rewriting of possibly-side-effecting programs. We should document it carefully, possibly up to the point of writing a paper/functional pearl/blog post.
A starting point is to survey the state of the art, e.g. googling for
which leads, amusingly to (see item 2 @acl33)