[Openmcl-devel] inverse function
ron at flownet.com
Sat Feb 13 14:57:15 UTC 2010
What is the inverse of SETF? And how much information would you have to record in order to implement it? How about the inverse of GC?
On Feb 13, 2010, at 11:30 AM, Taoufik Dachraoui wrote:
> Hi Raffael,
> I am having a second thought about side-effects
> If you record all side-effects it would be possible to revert back the side-effects.
> 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).
> Kind regards
> Openmcl-devel mailing list
> Openmcl-devel at clozure.com
More information about the Openmcl-devel