n?? 0?? ??? ??? ??? ????? ??? ?????. ??? ??? ?? ?? ?? ??? ?? ??? ??? ?? ?? ?????

? ????? sum??? ????. ??? sum(0) == 0? ?? ???? ??? ?? ?????. ?? ??? ??? ?????? sum(n) == n sum(n-1), ??? sum(0)? ??? ???. ?? ??? ??? ????.

int sum(int n) {
    if (n == 0) {
        return 0;
    }
    return n + sum(n - 1);
}

?? ??? ????

???? ?? ??? ?? ??? ?? ??? ?? ? ??? ??? ????... ???? ???? ?? ??? ????? ??? ???? ?? ?? ??? ????? ?? ? ??? ?? ?? ????? ??? ? ????.

???, ?? ?? ? ?? ??? ????? ??? ?????. ??? ??????? ??? ?????.

?????

????? ??? ?? ????? ????? ??? "?" ?? "??"? ????? ????. ???? ?????? ??? ???? ?????.

?? ??? ????.

let trampolim = primeiraChamada(input);

while (trampolim is continuation) {
    trampolim = trampolim.continue();
}
return trampolim;

sum? ??? ??????

????? ??? ?? ???sum?????. ??? ???? ?? ??? ?????. ? ?? ??? acc? ??? ?? ???? ??? ???? ????. ??? sum_trampoline(0, acc)? ???? acc? ?????. ???? ???

sum_trampoline(n, acc)?? sum_trampoline(n-1, acc n)?? ??????. ? ?? ??? sum_trampoline(n, 0)???.

??? ??? ??? ????.

Object sum_trampoline_bootstrap(int n) {
    return sum_trampoline(n, 0);
}

Object sum_trampoline(int n, int acc) {
    if (n == 0) {
        return acc;
    }
    return (Supplier<object>) () -> sum(n - 1, acc + n);
}

??? ???? ????? ??

?????? ?? ??? ?? ????? ???.

let trampolim = primeiraChamada(input);

while (trampolim is continuation) {
    trampolim = trampolim.continue();
}
return trampolim;

??? ?? ??? ??? ?? ???? Java ????? ??? ????? ????. ??? ???? ???? ??? ? ????. "?? ?????"?? ???? ????? ? ?? ?? Java?? ?? ??? ?? ??? return trampolim? ?? ???? ?? ??? trampolim ??? ????? ????. trampolim.value()?? ??? ? ????.

????? ???? ?????? ?????????. ?? ?? ??? ???? ??? ??? ?? ?? ??? ??? ? ????. ? ?? ??? ?? ??? ??? ???? ? ????.

public static <R> R trampoline(IN input,
                                   Function<IN, TrampolineStep<R>> trampolinebootStrap) {
  TrampolineStep<R> nextStep = trampolinebootStrap.apply(input);
  while (!nextStep.gotValue()) {
    nextStep = nextStep.runNextStep();
  }
  return nextStep.value();
}

TrampolineStep<R>?????? ??????

? ?? ??? ?????.

• gotValue: ?? ???? ????.
• value: ?? ?? ?????.
• runNextStep: ? ?? ??? ?????.

????? ? ?? ??? ????.

• ?? ?
• ?????

??? ?? ???? ???? ???? ? ????. ?? ??? ?? ?? ???? ???.

int sum(int n) {
    if (n == 0) {
        return 0;
    }
    return n + sum(n - 1);
}

??? ?? ?? ?? ??? ???? ??? ???? ???.

let trampolim = primeiraChamada(input);

while (trampolim is continuation) {
    trampolim = trampolim.continue();
}
return trampolim;

sum_trampoline?? ??? ??? ? ????

Object sum_trampoline_bootstrap(int n) {
    return sum_trampoline(n, 0);
}

Object sum_trampoline(int n, int acc) {
    if (n == 0) {
        return acc;
    }
    return (Supplier<object>) () -> sum(n - 1, acc + n);
}

??? ????

????? ???? ??? ??? ??? ????.

let trampolim = primeiraChamada(input);

while (trampolim is continuation) {
    trampolim = trampolim.continue();
}
return trampolim;

???? ??? ????? ???? ?? ??? ???? ?? ??? ????. 0? 1?? ???? ?? ?? ??? ???:

public static <R> R trampoline(IN input,
                                   Function<IN, TrampolineStep<R>> trampolinebootStrap) {
  TrampolineStep<R> nextStep = trampolinebootStrap.apply(input);
  while (!nextStep.gotValue()) {
    nextStep = nextStep.runNextStep();
  }
  return nextStep.value();
}

"?? ?? ??"? ???? ? ??? ??? ??? ????.

static <X> TrampolineStep<X> valueFound(X value) {
    return new TrampolineStep() {
        @Override
        public boolean gotValue() {
            return true;
        }

        @Override
        public X value() {
            return value;
        }

        @Override
        public TrampolineStep<X> runNextStep() {
            return this;
        }
    };
}

????? ?? ? ?? ????? ??? ??? ???? ?? ?????? ?????. ??? ????? fib[0] => 0, fib[1] => 1 ???? ???? ??? 0?? ??? n? ??? ??? ?????.

????: ?? ??? ???????

fib_tc? ?? ???? ?????? ? ?????.

static <X> TrampolineStep<X> goonStep(Supplier<TrampolineStep<X>> x) {
    return new TrampolineStep() {
        @Override
        public boolean gotValue() {
            return false;
        }

        @Override
        public X value() {
            throw new RuntimeException("dont call this");
        }

        @Override
        public TrampolineStep<X> runNextStep() {
            return x.get();
        }
    };
}

??? ?? ??? ??? ????? ????? TrampolineStep ?????? ??? ??? trampoline ??? ??? ??? ?????. ?? IN? ?? ?? ???? ??? ???.

? ??? ????, Java? ?? ?? ?????. ??? ??? PHP ??? ????? ?? ?? ??? ?????!