Was ist die Erklärung für die Übung 1.6 in SICP?

Bin ich mit der Arbeit gerade erst durch SICP (auf meinen eigenen; dies ist nicht für eine Klasse), und ich habe gekämpft, mit Übung 1.6 seit ein paar Tagen und ich kann einfach nicht scheinen, um es herauszufinden. Das ist das einzige, wo Alyssa re-definiert if im Hinblick auf cond etwa so:

(define (new-if predicate then-clause else-clause)
    (cond (predicate then-clause)
          (else else-clause))

Sie tests, die Sie erfolgreich auf einige einfache Fälle, und setzt es dann neu zu schreiben das square-root-Programm (das funktioniert nur mit if):

(define (sqrt-iter guess x)
    (new-if (good-enough? guess x)
            guess
            (sqrt-iter (improve guess x)
                       x)))

Dann die Frage stellt: "Was passiert, wenn Alyssa versucht Sie diese zu berechnen Quadrat-Wurzeln? Erklären." [Wenn nötig, ich bin glücklich, zu reproduzieren, die anderen Verfahren ( good-enough? , improve usw.), lass es mich wissen.]

Nun, ich weiß, was passiert: es nie einen Wert zurückgibt, was bedeutet, dass das Programm eine Rekursion unendlich. Ich kann mir einfach nicht erklären, warum dies geschieht. Was auch immer feine Unterschied besteht zwischen if und new-if ist entzieht sich mir. Jegliche Hilfe sehr geschätzt.

InformationsquelleAutor Alex Basson | 2009-07-23
  1. 77

    new-if ist eine Funktion. Wenn eine Funktion aufgerufen wird, was ist die erste Sache, dass die Regelung nicht mit der argument-Liste? Es wertet alle die Argumente.

    InformationsquelleAutor Greg Hewgill
  2. 37

    new-if ist eine Prozedur und Schema verwendet applicative-order evaluation (1.1.5), so auch vor new-if tatsächlich ausgeführt wird, muss es bewertet alle Argumente zuerst, die guess und (sqrt-iter (improve guess x) x). Sie können sehen, dass das letztere argument ist eine Rekursion, die fordert, eine neue new-if Verfahren, so wird die unendliche Schleife Auftritt.

    Ordentlichen if müssen nicht bewerten, seine Argumente zuerst, gehen Sie einfach entlang des Weges, das ist der Unterschied zwischen if und new-if. 🙂

    • Die new-if Verfahren hat drei Argumente: predicate, then-clause und else-clause. Also, wenn new-if genannt wird, (good-enough? guess x), guess, und (sqrt-iter (improve guess x)) ausgewertet werden. Ist das richtig ? Das ändert nichts an dem Ergebnis, denn nur die Bewertung von sqrt-iter verursacht die Schwierigkeiten. Aber imo haben Sie vergessen, ein argument...
    InformationsquelleAutor Junjie Zhang
  3. 23

    Zunächst müssen Sie verstehen Sie den Unterschied zwischen applicative order evaluation und normal um. Lisp verwendet applicative Ordnung, aber bedingte Ausdrücke werden ausgewertet, nicht wie normale Funktionen (sicp Kapitel 1.1.6):

    (if <predicate> <consequent> <alternative>)

    Zu bewerten, wenn ein Ausdruck, der interpreter beginnt mit der Auswertung des <predicate> Teil des Ausdrucks. Wenn die <predicate> liefert den Wert true, wird der interpreter wertet dann die <consequent> und gibt seinen Wert zurück. Ansonsten wertet die <alternative> und gibt seinen Wert zurück.

    InformationsquelleAutor alex vasi
  4. 0

    Ex1.6. neu-wenn: 

    (define (new-if predicate then-clause else-clause)
     (cond (predicate then-clause)
                (else else-clause)))

    Unterschied mit "wenn-Aussagen':
    if-Anweisungen auswerten einer von einer von Prädikat -> damit -> alternative,

    jedoch die "neue-wenn' ausgewertet werden muss, um alle Parameter aka Argumente der MOMENT, die genannt werden(was bedeutet, dass 'else-Klausel ausgewertet am start!!!!),

    und so bewirkt dies eine Endlosschleife, wenn alle diese Parameter nennen sich in einer iterativen Schleife

    InformationsquelleAutor
Schreibe einen Kommentar