[Openmcl-devel] inverse function
taoufik at mazeboard.com
Sat Feb 13 13:30:27 UTC 2010
I am having a second thought about side-effects
If you record all side-effects it would be possible to revert back the
I am looking at a sequential program as a sequence of actions;
Any sequence of revertable actions is revertable.
P1 = a1 a2 ... an
(inverse P1) = (inverse an) (inverse an-1) ... (inverse a1)
If for each action you record the context in which it is executed
then you can deterministically revert the whole program.
But it is not realistic to record the context of all actions, thus
I just expect that the (inverse P1) will return all possibilities (as
in the square/sqrt example).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Openmcl-devel