[Openmcl-devel] inverse function

[Taoufik Dachraoui]

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
Taoufik
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.clozure.com/pipermail/openmcl-devel/attachments/20100213/bc294097/attachment.htm>