In Aufgabenblatt 8, Aufgabe 3 heißt es:

Geben Sie vier verschiedene Moglichkeiten an, um
(square (square (+ 3 7)))auf Normalform zu reduzieren.

Sollte es eigentlich nicht nur zwei Möglichkeiten geben? Einmal innere und einmal äußere Reduktion?

Marcel

Nein, es gibt ja auch Mischformen:

z.B.

(square (square (+ 3 7))) = (square (* (+ 3 7) (+ 3 7)))
= (* (* (+ 3 7) (+ 3 7) (* (+ 3 7) (+ 3 7)))= …

etc.

Klar?

was immer das bringen mag ;)

Nichts. Wird wohl aus Kombinatorik-Gründen angesprochen ;-)

Normal Order, d.h. "außen zuerst", nennt sich auch lazy evaluation und wird durchaus angewendet, z.B. in Haskell. Scheme macht das nur explizit mit (DELAY/FORCE)
Strict Order ist der Normalfall. Da kann man sich dann in Sprachen ohne referenzielle Transparenz drüber kloppen ob man jetzt die Argumente von links nach rechts (Java), rechts nach links, in unspezifizierter Reihenfolge (Scheme) oder gleich parallel ausführt (oder vielleicht erst alle ungeraden von links nach rechts, dann alle geraden von rechts nach links oder so - das ist dann aber wieder eher uninteressant)