在方案中使用嵌套的 let 或 let*

Question

我正在编写一个以间隔作为参数并返回百分比错误的函数，但我坚持使用 let 或 let*。代码如下：

嵌套让版本：

(define (percent interval)
  (let (start-point (car interval))
    (let (end-point (cdr interval))
      (let (center (/ (+ start-point end-point) 2)))))
  (/ (- end-point center) center))

错误是：let: bad syntax (not an identifier and expression for a binding) in: start-point

让*版本：

(define (percent interval)
  (let* ((start-point (car interval))
     (end-point (cdr interval))
     (center (/ (+ start-point end-point) 2))))
  (/ (- end-point center) center))

现在的错误是：

let*: bad syntax (missing body) in: (let* ((start-point (car interval)) (end-point (cdr interval)) (center (/ (+ start-point end-point) 2))))

我参考了一些文档，但也无法找出错误所在。 （ps：我用的是 DrRacket 6.2）

Answer 1

最后的表达式，除法本身，需要进入let*。这是因为let 表单引入了仅在词法范围内对其主体的绑定。此外，let 形成 require 一个主体，这就是您收到该错误的原因（在您的示例中，它们根本没有主体，因为最终表达式在它们之外）。

要解决这个问题，只需在 let* 表单中移动最后一个表达式：

(define (percent interval)
  (let* ((start-point (car interval))
         (end-point (cdr interval))
         (center (/ (+ start-point end-point) 2)))
    (/ (- end-point center) center)))

您使用嵌套 let 的版本在另一种方面略有错误：您缺少每个绑定对的括号级别，这导致了第一个错误。也就是说，而不是这个：

(let (start-point (car interval))
  ...)

...你需要这个：

(let ((start-point (car interval)))
  ...)

注意多余的括号。也就是说，let* 版本要好得多！它只是用于嵌套 let 表单的宏，它会自动进行嵌套，因此您不必这样做。

还有一件事：如果您正在编写可移植的 Scheme，则所有括号都必须是括号。但是，如果您正在编写 Racket，则可以将方括号 可互换 与圆括号一起使用。因此，惯用的 Racket 在某些地方使用方括号作为一种风格选择，以使代码更具可读性。

其中一种情况是在let 绑定对中。因此，惯用的 Racket 代码如下所示：

(define (percent interval)
  (let* ([start-point (car interval)]
         [end-point (cdr interval)]
         [center (/ (+ start-point end-point) 2)])
    (/ (- end-point center) center)))

这只是有助于更清楚地表明每一对都在创建一个绑定，而不是调用一个函数。