自循环解释器

✍ dations ◷ 2025-12-09 07:20:46 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 家用电器家用电器,简称家电,是指以电能来进行驱动(或以机械化动作)的家庭用具,可帮助执行家庭杂务,如炊食、食物保存或清洁。基本上,家用电器分为大型家电(白色家电、黑色家电)和小家电。大型
  • 子部,为汉字索引里为部首之一,康熙字典214个部首中的第三十九个(三划的则为第十个)。就繁体和简体中文中,子部归于三划部首。子部通常是从上、下、左、右方均可为部字,且无其他部
  • 马泰奥·伦齐马泰奥·伦齐 (意大利语:Matteo Renzi,意大利语发音:; 1975年1月11日-),意大利政治人物,第56任意大利总理,2013年12月当选民主党总书记。他曾经在2004年~至2009年任佛罗伦萨省省长,200
  • 王尔德奥斯卡·王尔德,(Oscar Wilde,1854年10月16日-1900年11月30日),又译奥斯卡·怀尔德,爱尔兰作家、诗人、剧作家,英国唯美主义艺术运动的倡导者。他于十九世纪八十年代创作了多种形式
  • 饭岛澄男饭岛澄男(日语:飯島澄男/いいじますみお Iijima Sumio ?,1939年5月2日-),日本物理学家暨化学家,美国国家科学院暨中国科学院外籍院士。现任NEC特别主任研究员、名城大学教授、名古
  • 酒醉酒精中毒,轻度称“酒醉”,是人血液酒精浓度达到一定浓度后发生的一种生理现象。较为常见的症状包括语言含混、多幸福感、平衡失控、肌肉失调、皮肤转红、眼部充血、呕吐、举止
  • 行政院国军退除役官兵辅导委员会国军退除役官兵辅导委员会(简称退辅会、辅导会)为中华民国专门处理退伍军人五大事项(就业、就学、就医、就养与服务照顾等)的机关。退辅会在台湾各地的所属机关有15所荣民医院(包
  • 英格兰和威尔士英格兰和威尔士是英国的一个政治和法律用语。它包含英格兰和威尔士,英国四个构成国中的两个。不同于苏格兰和北爱尔兰,威尔士采用英格兰法律,和英格兰一起是英格兰王国的宪制继
  • 欧洲自由民主联盟党欧洲自由民主联盟党(英语:Alliance of Liberals and Democrats for Europe Party,缩写为ALDE Party)是一个自由主义的欧洲政党,由欧洲各国共49个古典自由主义、中间派自由主义、
  • 倒角 (几何)在几何学中,倒角是一种将棱替换为维面的操作,也可以视为切棱(又称裁边或截边)操作的一种。对多面体进行倒角操作之后会使多面体中原有的棱转变成六边形面。在康威多面体表示法中