scheme 内部定义

内部定义：

(define ...
  (define ...)
  ...)

像这种嵌套的定义，变量之间的顺序性，不同的解释器有不同的实现。

首先，define可以分为两种（define key val）

第一种：val为立即求值 eager evaluation：例如像常数5，(+ 4 5)等等

第二种：val为延迟求值 delay evaluation，即lambda表达式

如果是立即求值，内部define之间有依赖关系时，如果当前求值的对象中含有后面定义的变量，

(define (f x)
    (define (a 5))
    (define (b (+ x 1)))
    (define (x 10))
 (* b 5))

其中b依赖了x，且b的定义不是lambda（不会延迟求值），会立即求值，所以会报错。

但在不同的解释器中会有不同的表现，有些会先将a，b，x先赋值为*unassigned*，将变量放入同一层级，放入环境中，然后使用一个过程进行求值，最后返回正确的值，而不是报错。

文章参考自：

局部绑定和内部定义 | 笔记仓库