Steuerung der Evaluierung

Das im Quellcode-Modus erscheinende Menü Quellcode→Auswertung enhält eine Anzahl von Konstrukten, mit denen sich die Evaluierung von Ausdrücken der Stil-Definitions-Sprache steuern lässt. Die wichtigste Anwendung solcher Konstrukte ist der Gebrauch in „Meta-Makros”, die Makros als Argumente nehmen, um diese zu ändern wie z.B. das unten definierte new-theorem:

Mit dem Aufruf <new-theorem|theorem|Theorem>, werden zuerst alle unquote-Befehle innerhalb des quasi-Konstrukts ausgeführt, was zuu folgendem Ausdruck führt:

Dann wird dieser Ausdruck evaluiert. Das definiert das Makro theorem.

Man beachte, dass TeXmacs-Evaluierungsregeln sich etwas von den Scheme-Regeln unterscheiden. Diese geringfügigen Unterschiede sollen es dem Anwender besonders leicht machen, Makros für den Schriftsatz zu schreiben.

Beipielsweise, wenn TeXmacs ein Makro <macro|x₁|⋯|x_n|body> mit den Argumenten y₁ bis y_n aufruft, bleiben die Argumentvariablen x₁ bis x_n an die unevaluierten Ausdrücke y₁ bis y_n gebunden bis der Rumpf, body, mit diesen Bindungen evaluiert worden ist. Die Evaluierung von y_i wird jedesmal durchgeführt, wenn das Argument x_i aufgerufen wird. Wenn also ein Makro <macro|x|x und nochmal x> auf den Ausdruck y angewandt wird, wird der Ausdruck y genau zweimal ausgewertet.

In Scheme werden die Rümpfe von Scheme-Makros zweimal evaluiert, während bei Funktionen die Argumente evaluiert werden. Dagegen wird, wenn auf eine Variable zugegriffen wird, der Wert nicht evaluiert, gleichgültig, ob es sich um ein Argument oder eine Kontext-Variable handelt. Daher entspricht das TeXmacs-Makro

dem folgenden Scheme-Makro:

Umgekehrt gehören zu dem folgenden Scheme-Makro bzw. -Funktion

die folgenden TeXmacs-Analoga:

Hier wurden die Konstrukte quote-arg und quote-value dazu benutzt Argumente bzw. Kontext-Variable aufzurufen. Die TeXmacs-Konstrukte eval, quote, quasiquote und unquote verhalten sich wie ihre Scheme-Analoga. Das quasi-Konstrukt ist eine Abkürzung für quasiquote gefolgt von Evaluierung.