Używanie Let in Scheme

Question

Chcę napisać program, aby znaleźć korzenie równania kwadratowego na Schemacie. Użyłem LET dla niektórych powiązań.

(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))))) 

zdefiniowałem Wyróżnik z 4ac ponieważ nie chciałem (* 4 a c). Mimo, że zostały zdefiniowane (4ac (* 4 a c)), to daje mi ten błąd:

expand: unbound identifier in module in: 4ac .

Moje pytanie brzmi: w jaki sposób jest oceniany niech (jakiej kolejności)? A jeśli chcę 4ac w moim let powinienem napisać kolejny wewnętrzny let? Czy jest lepszy sposób to zrobić?

Answer 1

Użyj let* zamiast .

Różnica między let i let* jest następujący:

let* wiąże zmienne od lewej do prawej. Wcześniejsze wiązania można stosować w nowym wiązaniu dalej w prawo (lub w dół).

let Z drugiej strony może być traktowane jako składniowej cukru (lub makro) dla prostego lambda abstrakcji:

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

jest równoważna

((lambda (a b) 
    exp) 
exp1 exp2) 

Answer 2

Będziesz potrzebował special let-construct (let*), ponieważ zmienne wewnątrz definicji let odnoszą się do siebie.

To raczej problem zdefiniowania zakresu niż oceniania wyrażenie (W zwykłych let -definitions kolejność oceny nie ma znaczenia, ponieważ wartości mogą nie stosować się nawzajem)

Answer 3

• 4ac jest zmienna o wartości numerycznej, więc (4ac) nie ma znaczenia.

• LET wiąże wszystkie zmienne, ale zmiennych nie można używać w obliczeniach dla wartości.

To nie działa:

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

przeznaczenie:

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

Przede wprowadza A i B z pierwszego LET. W drugim LET A i B mogą być teraz używane do obliczania C

Lub:

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

Answer 4

Podczas korzystania pozwolić, wiązania nie są widoczne w każdym z ciał. Zamiast tego użyj * let i zobacz dokumentację RNRS, aby uzyskać szczegółowe informacje.