SICP

元语言抽象就是建立新的语言。对于某个程序设计语言的求值器(或者 解释器)也是一个过程，在应用于这个语言的一个表达式时，它能执行求值这个表达式所要求的动作

求值器决定了一个程序设计语言中各种表达式的意义，而它本身也不过就是另一个程序

元循环求值器

用与被求值的语言同样的语言写出的求值器被称为元循环

求值器的实现依赖于一些定义了被求值表达式的语法形式的过程

SICP

元语言抽象就是建立新的语言。对于某个程序设计语言的求值器(或者 解释器)也是一个过程，在应用于这个语言的一个表达式时，它能执行求值这个表达式所要求的动作

求值器决定了一个程序设计语言中各种表达式的意义，而它本身也不过就是另一个程序

元循环求值器

用与被求值的语言同样的语言写出的求值器被称为元循环

求值器的实现依赖于一些定义了被求值表达式的语法形式的过程