Hi Robin,
David Sankel & I came up with withNextE at one point and didn't end up using
it. I like the idea of experimenting with reverse causality. And yeah, I
might want to remove it at some point. If you think of a use, please let us
all know.
- Conal
On Fri, Nov 21, 2008 at 6:23 AM, Robin Green
withNextE seems to allow occurrences' values to depend on occurrences which haven't yet occurred.
Of course, it doesn't actually allow time travel. If the occurrence is not yet computed, presumably it will block until it does.
Still, this is problematic theoretically. It allows "simulations" to be constructed which contain reverse causality (if the simulation makes all the input occurrences available immediately). Is this a case of making the framework a little too powerful?
-- Robin _______________________________________________ Reactive mailing list Reactive@haskell.org http://www.haskell.org/mailman/listinfo/reactive