自循环解释器

✍ dations ◷ 2025-12-10 09:32:16 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 木薯木薯(学名:Manihot esculenta),又称树薯,是一种大戟科木薯属植物,原产于南美洲。木薯为灌木,有肉质长圆柱形块根;茎直立有乳汁,叶子互生,掌状3-9深裂,裂片披针形至长椭圆状披针形;顶生或
  • 河姆渡文化河姆渡文化是分布于中国浙江杭州湾南岸平原地区至舟山群岛的新石器时代文化,其年代大约在距今6000年到7000年之前,因以浙江余姚河姆渡遗址发掘最早,故称作河姆渡文化。该文化最
  • 东方明珠广播电视塔东方明珠广播电视塔,位于上海市浦东陆家嘴的未来主义建筑,与外滩隔黄浦江相望,原名上海广播电视塔,上海市民也常简称其为东方明珠。东方明珠由当时华东建筑设计研究院设计,1991年
  • abbr class=abbr title=S51: 仅可于通风处使用S51/abbr安全建议标准词(英语:Safety phrases,简写:S-phrases)是于《欧盟指导标准67/548/EEC 附录Ⅳ: 有关危险物品与其储备的安全建议》里定义。该列表被集中并再出版于指导标准2001/59/
  • 挤压伤挤压综合征(crush syndrome),是指大范围的肌肉受到挤压伤害,因为组织的坏死,会由坏死的组织中释出肌红素(myoglobin)、蛋白、钾等有毒物质进入血液循环系统,造成血液动力不稳定性休
  • 露点‎大气物理学 大气力学(英语:Synoptic scale meteorology)天气 (分类) · (主题)气候 (分类) 气候变迁 (分类)露点(英语:Dew point)或露点温度(英语:Dew point temperature)是在固定气
  • 崖门坐标:22°18′00″N 113°03′31″E / 22.299866°N 113.058484°E / 22.299866; 113.058484 崖门镇是中国广东江门市新会区南部的一个镇,面积281平方公里,人口近4万。崖门由原
  • 劳伦斯·莱斯格劳伦斯·莱斯格(Lawrence Lessig,1961年6月3日-)昵称赖瑞(Larry),是一位美国学者暨学术与政治的行动主义者,以提倡减少版权、商标、射频频谱上,特别是在科技应用方面的法律限制而出名
  • 中台湾大学系统中台湾大学系统(Mid-Taiwan University System, 简称 M6),由中国医药大学、中山医学大学、东海大学、逢甲大学、静宜大学、亚洲大学等六所中部私立大学于2012年6月10日成立,是台
  • 自发演替在生态学中,自发演替是生态系统被一个生态系统中生物组成部分来改变或演进。 与此相反的是,异发演替是由生态系统中的非生物组分来改变或演进。 已植物发生自发演替为例子:叶吸