Mit Let in Scheme

Ich soll ein Programm schreiben, das finden die Wurzeln der quadratischen Gleichung in Schema. Ich verwendet, LASSEN Sie sich für bestimmte Bindungen.

(define roots-with-let
  (λ (a b c)
    (let ((4ac (* 4 a c))
          (2a (* 2 a))
          (discriminant (sqrt ( - (* b b) (4ac)))))
      (cons ( / ( + (- b) discriminant) 2a)
            ( / ( - (- b) discriminant) 2a)))))

Definierte ich die diskriminante mit 4ac da ich nicht wollte (* 4 a c). Obwohl ich definiert haben (4ac (* 4 a c)), es gibt mir diese Fehlermeldung:

erweitern: ungebundene Bezeichner in Modul: 4ac.

Meine Frage ist, wie lassen bewerten (in welcher Reihenfolge)? Und wenn ich will 4ac in meinem let soll ich schreiben, einen inneren let? Gibt es einen besseren Weg, dies zu tun?

  • Dies ist ein Beispiel von SICP Vorlesung/Buch !
InformationsquelleAutor unj2 | 2009-06-03
  1. 31

    Verwenden let* statt let.

    Den Unterschied zwischen let und let* ist folgende:

    let* bindet Variablen von Links nach rechts. Früher Bindungen verwendet werden können, in neue Bindung weiter nach rechts (oder nach unten).

    let auf der anderen Seite gedacht werden kann als syntaktischer Zucker (oder makro) für einfache lambda-Abstraktion:

    (let ((a exp1)
      (b exp2))
   exp)

    entspricht 

    ((lambda (a b)
    exp)
 exp1 exp2)
    • Könntest du bitte kommentieren Sie den Unterschied in der Bewertung, um zwischen den beiden?
    • r6rs.org/final/html/r6rs/r6rs-Z-H-14.html#node_sec_11.4.6
    • es ist nicht (nur) über evaluation, um, es ist vor allem zu Umfang. in der Ebene lassen, der Umfang der einzelnen Variablen ist nur der Ausdruck, nicht die Bindungen. in let* - der Umfang der einzelnen Variablen ist der Ausdruck und jede Bindung nach sich.
    InformationsquelleAutor Jonas
  2. 8

    • 4ac ist eine variable mit einem numerischen Wert, so dass (4ac) ist nicht sinnvoll.

    • LASSEN Sie bindet alle Variablen, aber die Variablen können nicht verwendet werden, in den Berechnungen für die Werte.

    Funktioniert nicht:

    (let ((a 1) (b 1) (c (* a b)))
   c)

    Verwenden:

    (let ((a 1) (b 1))
  (let ((c (* a b)))
    c))

    Oben führt A und B mit der ersten LASSEN. In der zweiten LASSEN die beiden A und B können nun verwendet werden, um zu berechnen, C.

    Oder:

    (let* ((a 1) (b 1) (c (* a b)))
   c)
    InformationsquelleAutor Rainer Joswig
  3. 3

    Benötigen Sie eine speziellen lassen-Konstrukt (let*) hier, da die Variablen innerhalb des let-definition verweisen aufeinander.

    Es ist eher ein problem der Definition von Umfang, als von der Auswertung eines Ausdrucks (Im üblichen let-Definitionen, die Reihenfolge der Auswertung spielt keine Rolle, da die Werte möglicherweise nicht verwenden, jede andere)

    InformationsquelleAutor Dario
  4. 2

    Wenn Sie lassen, die Bindungen sind nicht sichtbar in jede der Körper. Nutzen,* statt-und finden Sie in der RNRS-Dokumentation für details.

    InformationsquelleAutor grettke
Schreibe einen Kommentar