Warum gibt es keine Optimierung der Schwanzrekursion in Emacs Lisp, aber nicht wie andere Schema?

Question

Emacs Lisp ist ein Dialekt von LISP und vor allem Scheme. Die meisten Schema-Interpreter haben eine Optimierung der Tail Recursion, aber Emacs Lisp nicht. Ich habe den Grund in "info elisp" eine Weile durchsucht, aber ich finde es nicht.

P.S. Ja, es gibt eine andere Iterationssyntax wie "while" in elisp, aber ich kann immer noch keinen guten Grund finden, warum sie Tail-Rekursion nicht wie andere Schema-Interpreter implementiert haben.

Answer 1

Emacs Lisp wurde in den 1980er Jahren erstellt. Der Lisp-Dialekt, den der Emacs-Autor (Richard Stallman) damals am meisten kannte, war MIT Maclisp, und Emacs Lisp ist dem sehr ähnlich. Es verwendete dynamisches Variablen-Scoping und hatte keine lexikalischen Schließungen oder Optimierung der Tail-Rekursion, und Emacs Lisp ist das gleiche.

Emacs Lisp unterscheidet sich sehr von Schema. Der größte Unterschied besteht darin, dass Scheme lexikalisch begrenzt ist, aber dies wurde erst kürzlich zu Emacs Lisp hinzugefügt und muss pro Datei aktiviert werden (indem ;;; -*- lexical-binding: t -*- in die erste Zeile gesetzt wird), da dies standardmäßig viele Inkompatibilitäten verursachen würde .

Es gab einige Arbeit, um Emacs Lisp mit Guile, einem Scheme-Dialekt zu ersetzen. Aber es ist nicht klar, ob es jemals Früchte tragen wird.

Answer 2

Emacs Lisp hatte dynamische Scoping als seine wichtigste/einzige Scoping-Regel für die ersten 25 Jahre seines Lebens. Das dynamische Scoping ist grundsätzlich nicht mit der Optimierung der Tail-Rekursion kompatibel, so dass bis zu Emacs-24 (welches das lexikalische Scoping einführte) diese Optimierung kaum oder überhaupt nicht interessiert war.

Heutzutage könnte ELisp manchmal von der Optimierung der Tail-Rekursion profitieren, und es wurden einige Patches dazu geschickt, aber das wurde noch nicht integriert. Das Fehlen von Tail-Recursion-Optimierung sowie die relativ ineffiziente Implementierung von Funktionsaufrufen hat den ELisp-Stil beeinflusst, so dass Rekursion nicht sehr oft verwendet wird, was wiederum die Vorteile der Hinzufügung der Optimierung von Tail-Aufrufen reduziert.

Answer 3

Sieht aus wie jemand eine Implementierung von TCO in Emacs Lisp gemacht hat: https://github.com/Wilfred/tco.el. Ich habe selbst nicht mit ihr gespielt, aber vielleicht möchten Sie es ausprobieren, wenn Sie TCO in Emacs Lisp sehen wollen.