Jakie są dobre sposoby wdrożenia eliminacji połączeń ogonowych?

Prostsze niż pisanie kompilatora i maszyny Wirtualnej jest rejestracja i trampolina interpretera. Ponieważ masz interpreter, a nie kompilator (zakładam), potrzebujesz tylko kilku prostych przekształceń, aby uzyskać odpowiednie wsparcie dla wywołań ogonowych.

Będziesz musiał najpierw napisać wszystko w stylu kontynuowania-przechodzenia, co może być dziwne myśleć i robić w C / C++. Dan Friedman ' s ParentheC samouczek przeprowadzi Cię przez przekształcenie rekurencyjnego, wysokiego poziomu program do postaci, która jest maszynowo tłumaczona na C.

W końcu zaimplementujesz prostą maszynę wirtualną, w której zamiast zwykłych wywołań funkcji wykonasz eval, applyProc itp., przekazujesz argumenty ustawiając zmienne globalne, a następnie wykonujesz goto do następnego argumentu (lub używasz pętli najwyższego poziomu i licznika programu)...

return applyProc(rator, rand)

Staje się

reg_rator = rator
reg_rand = rand
reg_pc = applyProc
return

Oznacza to, że wszystkie funkcje, które normalnie wywołują się rekurencyjnie, są zredukowane do pseudo-assembly, w którym są tylko bloki kodu, które się nie powtarzają. Pętla najwyższego poziomu steruje programem:

for(;;) {
  switch(reg_pc) {
    case EVAL:
      eval();
      break;
    case APPLY_PROC:
      applyProc();
      break;
    ...
  }
}

Edit: przeszedłem przez ten sam proces dla mojego hobby Scheme interpreter, napisany w JavaScript. Skorzystałem z wielu anonimowych procedur, ale może to pomóc jako konkretne odniesienie. Zobacz też foxscheme ' s commit history od 2011-03-13 (30707a0432563ce1632a) do 2011-03-15 (5dd3b521dac582507086 ).

Edit^2: Rekurencja bez ogona będzie zużywać pamięć, nawet jeśli nie będzie jej w stosie.