为什么必须在编译器看到所有过程之前定义它们?

例如,查看以下代码(来自tspl4):

(define proc1
  (lambda (x y)
    (proc2 y x)))

如果我在scheme中运行这个程序。。。

#!r6rs
(import (rnrs))

(define proc1
  (lambda (x y)
    (proc2 y x)))

我得到这个错误:

expand: unbound identifier in module in: proc2

#!r6rs
(import (rnrs))

(define proc2
  +)

(define proc1
  (lambda (x y)
    (proc2 y x)))

(display (proc1 2 3)) ;output: 5