“let”在Scheme 中如何工作？

Question

我使用 let 创建一个临时变量，然后在下一条语句中使用这个临时变量。然而，DrScheme 抱怨道，

let: bad syntax (not an identifier and expression for a binding) in: temp

这是我的代码片段：

(define (case-one-helper str)
  (let (temp (substring str (+ 3 (string-contains str "my"))))
    (substring temp (string-contains temp " "))))

我想知道 let 创建的变量的值是否必须在编译时知道？

编辑 我刚刚发现，缺少 ()。

谢谢，

Answer 1

虽然不完全是您遇到的问题，但根据您对评估参数的顺序的疑问，let 也是 lambda 的“语法糖”，后跟首先评估的参数然后传递给 lambda，然后对其进行求值。

例如：

(let ((a (list 1 2 3))
      (b (list 4 5 6)))
     (cons a b))

与：

((lambda (list-a list-b) (cons list-a list-b)) (list 1 2 3) (list 4 5 6))

因此，如果您想知道求值顺序，则在求值主体之前对参数进行完全求值（并且一个参数不能引用它之前的参数...使用 let* 对于需要这样的绑定的东西）。

Answer 2

您需要在 let 声明周围放置另一组括号：

(define (case-one-helper str)
  (let ((temp (substring str (+ 3 (string-contains str "my")))))
    (substring temp (string-contains temp " "))))