43、语法抽象与面向对象网络软件框架

语法抽象与面向对象网络软件框架

语法抽象：Syntax - Case 扩展器

核心过程与转换

在语法抽象中，有几个核心的过程和转换函数。 exp - core 过程将给定的核心转换器应用于输入形式，代码如下：

(define exp-core
  (lambda (p x r mr)
    (p x r mr)))

exp - exprs 过程用于处理应用子形式，它将扩展器映射到各个形式上：

(define exp - exprs
  (lambda (x* r mr)
    (map (lambda (x) (exp x r mr)) x*)))

核心形式转换器

对于几种代表性的核心形式，如 quote 、 if 、 lambda 、 let 和 letrec - syntax ，有相应的转换器。
- exp - quote ：生成表示 quote 形式的 s - 表达式，去除数据值的语法包装：

(define exp - quote