在Scheme中使用let

Question

我想编写一个程序来求Scheme中二次方程的根。 我使用 LET 来进行某些绑定。

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

我用 4ac 定义了判别式，因为我不需要 (* 4 ac)。 即使我已经定义了 (4ac (* 4 ac))，它还是给了我这个错误：

扩展：模块中的未绑定标识符：4ac。

我的问题是 let 是如何评估的（什么顺序）？ 如果我想在我的 let 中使用 4ac，我应该再写一个内部 let 吗？ 有一个更好的方法吗？

Answer 1

使用 let* 而不是 let。

let 和 let* 之间的区别如下：

let* 从左到右绑定变量。 较早的绑定可以在更右侧（或向下）的新绑定中使用。

另一方面，let 可以被认为是简单 lambda 抽象的语法糖（或宏）：

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

相当于

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

Answer 2

• 4ac是一个数值变量，所以(4ac)没有意义。

• LET 绑定所有变量，但变量不能用于值的计算。

这是行不通的：

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

使用：

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

上面用第一个 LET 介绍了 A 和 B。 在第二个 LET 中，A 和 B 现在都可以用来计算 C。

或者：

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

Answer 3

您需要一个特殊的let-此处构造 (let*)，因为let 定义中的变量相互引用。

这更像是一个定义范围的问题，而不是评估表达式的问题（在通常的 let 定义中，评估的顺序并不重要，因为这些值可能不会互相使用）

Answer 4

当您使用 let 时，绑定在任何主体中都不可见。 请改用 let* 并参阅 RNRS 文档了解详细信息。