[lisp-interface-library-devel] <invertible>

[Faré]

On Wed, Oct 31, 2012 at 10:47 PM, Dan Lentz <danlentz at gmail.com> wrote:
> Further thoughts <invertible> question.  Firstly, am I thinking about
> that incorrectly?  I guess what I might have been groping for is a
> first class base <operation> interface and then something like [...]
>
I don't know if <invertible> fits nicely in IPS,
but you might be interested in "reversible programming",
"bidirectional computing", "logic programming", and whichever
other paradigms were named to deal with this kind of stuff. e.g.
	http://www.seas.upenn.edu/~harmony/

You could also have an <invert> function that takes an <invertible>
interface as parameter and swaps do and undo methods.
Beware that your method cannot be actually named cl:do.

But it's only trickier since which operation is inverse
of which other operation crucially depends on how you curry your arguments.

—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org
The problem with being a citizen of the world is
that you don't get to travelling abroad much.