On Sun, Nov 6, 2011 at 5:24 PM, ais523 <callforjudgem...@yahoo.co.uk> wrote:
> ehird, I have a mission for you. Are non-self-destroying Promises, plus
> Promise transfer, Turing-complete?
I submit the following promise, which will be called S:
{{I submit the following promise, where X is the promise specified:
{{I submit the following promise, where Y is the promise specified:
{{I submit the following promise, where Z is the promise specified:
{{I cash promise X, specifying promise Z. Call the resulting promise A.
I cash promise Y, specifying promise Z. Call the resulting promise B.
I cash promise A, specifying promise B. (This promise is not destroyed
when cashed.)}}
(This promise is not destroyed when cashed.}}
(This promise is not destroyed when cashed.}}
(This promise is not destroyed when cashed.}}
I submit the following promise, which will be called I:
{{I submit the promise specified. (This promise is not destroyed when cashed.)}}
I cash promise S, specifying promise I. Call the resulting promise C.
I cash promise C, specifying promise I. Call the resulting promise D.
I cash promise D, specifying promise D.
This system is extensible to programs of arbitrary complexity.
—adiosToreador
