当我在另一个函数中定义一个函数时，我得到一个“错误的位置定义”；错误

Question

这是我的代码：

 (require 'hash-table)

 (define (hash-table-get htable key)
    ((hash-inquirer equal?) htable key))

 (define (hash-table-add! htable key val)
    ((hash-associator equal?) htable key val))

 (define (hash-table-remove! htable key)
    ((hash-remover equal?) htable key))


 (define (find-max-chain)
      (define table (make-hash-table 1000)) ; works
      .
      .
      .          ; proven working code

      (define (get-chain number) (let ((chain (hash-table-get table number))) chain))

      .
      .
      .        ; more code




    max-entry)
   (find-max-chain)

问题是 (define (get-chain number) [...] )) 部分。当我在全局上下文中定义它和 (find-max-chain) 之外的 table 时，当我运行它时它会成功。但是当我在需要的地方定义 (get-chain) 时，当我执行 (find-max-chain) 时 我从 SCM 收到此错误：

;ERROR: "problem14-new.scm": bad placement define
; in expression: (define (get-chain! number) (let ((chain (hash-table-ge ...
; in scope:
;   (update-max! table max-chain max-entry . #@define)
;   ()  procedure find-max-chain
; defined by load: "problem14-new.scm"

;STACK TRACE
1; (#@define ((update-max! (#@lambda (entry chain) (cond ((> chai ...
2; (#@find-max-chain)
3; (#@define ((hss (#@has-suffix? #@file (#@scheme-file-suffix))) ...

这是为什么？

Answer 1

在函数内部，define 只允许出现在函数（或类函数体）的开头，在任何情况下它们都相当于 letrec。请参阅 R5RS 的本节。

Answer 2

我不太熟悉 SCM 及其错误消息，但我的第一个猜测是您遇到了 letrec 与 letrec* 问题。 R5RS（粗略地）表示，必须能够以 letrec 形式计算每个右侧，而无需触及任何 letrec 绑定变量；同样的限制也适用于内部定义。 （IIRC，R6RS 添加了允许此类引用的 letrec* 形式。）

例如，以下内容是非法的：

(let ()
  (define x 1)
  (define y (+ 1 x))
  y)

因为评估 y rhs 需要 x 的值。相比之下，这是可以的：

(let ()
  (define x 1)
  (define f (lambda () (+ 1 x)))
  (f))

也就是说，这不是范围界定的问题，而是变量何时“准备好使用”的问题。