Re: Global Warming - Forth as answer

From	anton@mips.complang.tuwien.ac.at (Anton Ertl)
Newsgroups	comp.lang.forth
Subject	Re: Global Warming - Forth as answer
Date	2013-05-16 12:53 +0000
Organization	Institut fuer Computersprachen, Technische Universitaet Wien
Message-ID	<2013May16.145356@mips.complang.tuwien.ac.at> (permalink)
References	(3 earlier) <kn07f7$o62$1@dont-email.me> <2013May15.170815@mips.complang.tuwien.ac.at> <kn08r4$nc$1@dont-email.me> <2013May15.172242@mips.complang.tuwien.ac.at> <kn0o96$u8u$1@dont-email.me>

Show all headers | View raw

rickman <gnuarm@gmail.com> writes:
>On 5/15/2013 11:22 AM, Anton Ertl wrote:
>How is OVER_+ reversible exactly?  You can recover the data you started 
>with using OVER -, but is that really the same as saying it is 
>reversible?

Yes, that's the idea.  You can run the computation in forward or
reverse direction.

> I suppose OVER_+ would have to be 
>atomic such as ADD A,B can be reversed by SUB A,B, but I don't think 
>this is really what the concept is about.

It is, at least as far as programming is concerned; you need to
organize your program such that you can input the results, run it in
reverse mode, and can produce the parameters of the program.  I dimly
remember that the C-ish language used by the course instructor to show
things allowed "a+=b", but not "c = a+b".

- anton
-- 
M. Anton Ertl  http://www.complang.tuwien.ac.at/anton/home.html
comp.lang.forth FAQs: http://www.complang.tuwien.ac.at/forth/faq/toc.html
     New standard: http://www.forth200x.org/forth200x.html
   EuroForth 2013: http://www.euroforth.org/ef13/

Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Global Warming - Forth as answer visualforth@rocketmail.com - 2013-05-14 15:21 -0700
  Re: Global Warming - Forth as answer hughaguilar96@yahoo.com - 2013-05-14 18:40 -0700
    Re: Global Warming - Forth as answer Steve <nospam275@gmail.com> - 2013-05-14 21:00 -0700
      Re: Global Warming - Forth as answer visualforth@rocketmail.com - 2013-05-15 22:24 -0700
        Re: Global Warming - Forth as answer Steve <nospam275@gmail.com> - 2013-05-19 19:25 -0700
  Re: Global Warming - Forth as answer albert@spenarnc.xs4all.nl (Albert van der Horst) - 2013-05-15 10:05 +0000
    Re: Global Warming - Forth as answer anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-05-15 12:42 +0000
      Re: Global Warming - Forth as answer rickman <gnuarm@gmail.com> - 2013-05-15 10:56 -0400
        Re: Global Warming - Forth as answer anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-05-15 15:08 +0000
          Re: Global Warming - Forth as answer rickman <gnuarm@gmail.com> - 2013-05-15 11:19 -0400
            Re: Global Warming - Forth as answer anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-05-15 15:22 +0000
              Re: Global Warming - Forth as answer rickman <gnuarm@gmail.com> - 2013-05-15 15:42 -0400
                Re: Global Warming - Forth as answer visualforth@rocketmail.com - 2013-05-15 13:45 -0700
                Re: Global Warming - Forth as answer Bernd Paysan <bernd.paysan@gmx.de> - 2013-05-15 23:38 +0200
                Re: Global Warming - Forth as answer anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-05-16 12:53 +0000
                Re: Global Warming - Forth as answer rickman <gnuarm@gmail.com> - 2013-05-16 14:03 -0400
                Re: Global Warming - Forth as answer anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-05-17 12:41 +0000
        Re: Global Warming - Forth as answer albert@spenarnc.xs4all.nl (Albert van der Horst) - 2013-05-17 13:17 +0000
          Re: Global Warming - Forth as answer dirk.bruehl@usa.net - 2013-05-17 08:36 -0700
            Re: Global Warming - Forth as answer Steve <nospam275@gmail.com> - 2013-05-19 19:12 -0700
            Re: Global Warming - Forth as answer Steve <nospam275@gmail.com> - 2013-05-20 00:06 -0700
    Re: Global Warming - Forth as answer rickman <gnuarm@gmail.com> - 2013-05-15 10:47 -0400
      Re: Global Warming - Forth as answer albert@spenarnc.xs4all.nl (Albert van der Horst) - 2013-05-17 13:23 +0000
        Re: Global Warming - Forth as answer rickman <gnuarm@gmail.com> - 2013-05-17 09:59 -0400
    Re: Global Warming - Forth as answer Steve <nospam275@gmail.com> - 2013-05-19 18:56 -0700
  Re: Global Warming - Forth as answer oh2aun@gmail.com - 2013-05-22 00:50 -0700

csiph-web