[reactive] "Time travel" with withNextE
conal at conal.net
Fri Nov 21 10:59:00 EST 2008
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
On Fri, Nov 21, 2008 at 6:23 AM, Robin Green <greenrd at greenrd.org> wrote:
> 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?
> Reactive mailing list
> Reactive at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Reactive