实现scheme解释器的疑问

(1). define 和 set! 在本质上的区别我知道, 就是set!是改变原来变量上的值, define是新创建一个值. 但是对用户来说, 在一般函数式语言里面好像也没什么区别, 

       实现define的时候实现成set!了, 但是用起来一模一样! 我的解释器的实现没办法按r5rs标准的那样实现define了...或许之后引入了非纯函数式的那部分语法就要用到到set!和define的区别...

(2). `()` 到底算什么元素 ?  (list) 和 '()都会出来`()`...

       算空list ? 算Symbol ? 算一个特殊的标志 ? 我知道绝对不算NULL !

       虽说在绝大部分情况下都可以用NULL代替 (), 但它们俩毕竟不是一回事儿啊!

       蜀黍说算空list, 那既然说list的本质是pair, 那怎么用pair来构造出 () ?

       貌似在r5rs上定义了()为空list, 就先像蜀黍那样用一个变量empty代替吧...

(3). 实现里面其实list和pair是分开的=_=, 虽说用起来是没问题的...这是为了方便, 内部实现的list和pair是分开了...

(4). 写错误恢复的时候有这么样个问题.

(define a 1)
(+ (define a 2) b)
a

       上面的代码在不同解释器上会有不同的结果. 在guile上结果是1, 在bigloo上结果是2. 原因很简单, guile是先一整個表达式先check一遍(跟parse不同啦, 懒的解释), 都合法了才eval, bigloo是边check边eval, 所以check到(+ (define a 2) b) 的b时发现b未定义之前(define a 2)已经eval过了..

       不知道是不是scheme标准没定义清楚, 不过bigloo的这种策略比较好写, 就用这中策略了.

(5). GC原理不难, 但是实现起来好麻烦, 放弃了...tail recursion也放弃了...宏...待定...

CSDN的代码片功能是作秀吗? 粘到gist上再嵌入script代码在这里显示空白.