自循环解释器

✍ dations ◷ 2025-11-30 23:47:12 #计算机编程,计算机科学

自循环解释器(英语:Meta-circular evaluator)是元解释器(Metainterpreter,或Self-interpreter)的一种。自循环解释器不仅是在解释型语言中写成(如Scheme的自循环解释器是在Scheme中写成),而且通过底层语言的功能来实现解释型语言的功能。因此,自循环解释器不需担心如何具体实现任何功能,而只需处理语言读入与解释,所以尤其适合作为教育用途。自循环解释器一般在同像(即程序与数据为同一格式,如Lisp)的语言中出现。

自循环解释器最早出现于约翰·麦卡锡的Lisp 1.5版定义,其中麦卡锡以Lisp语言的功能来描述Lisp的解释规则。

著名计算机科学教科书《计算机程序的构造和解释》详细研究了一个Scheme语言的自循环解释器。此书中的解释器包含两个主要元素:

这两个元素互相调用,并最终将整个程序转换为其取值。

例如以下简单的Scheme表示式(假设square是一个内置函数,其返回值为参数的平方):

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 涂料涂料,在中国传统称为油漆。中国涂料界比较权威的《涂料工艺》一书是这样定义的:“涂料是一种材料,这种材料可以用不同的施工工艺涂覆在物件表面,形成粘附牢固、具有一定强度、连
  • “第二期”寒武纪第二期(Cambrian "Stage 2")是寒武纪纽芬兰世(英语:Terreneuvian)的第二个阶段,年代大约位于529–521百万年前。
  • 人造蛋人造蛋(英语:synthetic eggs)是指以植物原料制作,模仿动物蛋类的口感、味道的食物制品。2014年2月,美国加州汉普顿溪食品(英语:Hampton Creek)公司,研发出混合12种植物而成的“人造蛋
  • 北周武帝保定:561年-565年 天和:566年-572年三月 建德:572年三月-578年三月周武帝宇文.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-
  • 希望国际大学希望国际大学(Hope International University)是位于美国加利福尼亚州富勒顿的一所基督教私立大学,1928年成立。这座大学就在同城的加州州立大学富勒顿分校南部不远处,2015年《
  • 吉姆·谢里丹吉姆·谢里丹(Jim Sheridan,1949年2月6日-)是一名爱尔兰电影导演,曾获得过六项奥斯卡奖提名。他最知名的电影是1993年获得金熊奖的《以父之名》。吉姆·谢里丹出生在威克洛,双亲安
  • 马库斯·海耶斯里普马库斯·德尚·海斯利普(英语:Marcus Deshon Haislip,1980年12月22日-),美国NBA联盟职业篮球运动员。他在2002年的NBA选秀中第1轮第13顺位被密尔沃基雄鹿选中。
  • 南浔区南浔区是中国浙江省湖州市下辖的一个区,于2003年1月经国务院批准设立。南浔区北濒太湖,东接江苏省苏州市,地处长三角城市群的中心腹地,距离上海、苏州、杭州等大城市均为100公里
  • 三硫化四磷三硫化四磷,化学式为P4S3,外观为黄色固体,是两种工业上生产五氧化二磷的两种方法之一。随着纯净程度的不同,样品可呈现出由黄绿色至灰色不同颜色。三硫化四磷由莱莫因(G. Lemoine
  • 海榄雌海榄雌(学名:)为海榄雌科海榄雌属的植物。分布于非洲、澳大利亚、印度、马来西亚、台湾、新西兰以及中国大陆的福建、广东等地,多生于海边或盐沼地带,目前尚未由人工引种栽培。咸