自循环解释器

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

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 部件汉字部件是汉字字形结构的基本单元,具有组配汉字的功能。其由笔画构成,介于笔画与部首二者之间。其研究虽然古代已有人进行,但在手写时代并未受到重视。一直要到现代资讯科技发
  • 巴里·马歇尔巴里·马歇尔(英语:Barry J. Marshall,1951年9月30日-),生于澳洲西部城市卡尔古利,是西澳大学临床微生物学教授。他的主要成就是证明了幽门螺旋杆菌是造成大多数胃溃疡和胃炎的原因
  • 深颈动脉深颈动脉(Arteria cervicalis profunda)为颈部的一条动脉。深颈动脉源自于肋颈动脉干(英语:costocervical trunk),在某些个案该动脉会发源于锁骨下动脉。深颈动脉分出后会向后穿过
  • 科罗拉多州立大学科罗拉多州立大学(英语:Colorado State University,常用简称为CSU),成立于1870年,是美国科罗拉多州教育系统内的一所公立研究型大学、赠地大学。该校注重科学领域的研究开发,根据20
  • 谷物产量本列表是2005-2014年世界各国谷物产量的列表,数据来源于联合国粮食及农业组织。单位:(公吨)
  • 弘光帝明安宗朱由崧(1607年9月5日-1646年7月1日),又称“弘光帝”,为南明首位皇帝,原为福王。朱由崧是明神宗朱翊钧之孙,福忠王朱常洵之子。他是明熹宗朱由校、明思宗朱由检的堂兄弟。思宗
  • 约翰斯顿约翰斯顿县(Johnston County, Oklahoma)是美国奥克拉荷马州南部的一个县。面积1,705平方公里。根据美国2000年人口普查,共有人口10,513人。县治蒂肖明戈(Tishomingo)。成立于1907
  • 埃塞俄比亚狼(C. simensis)埃塞俄比亚狼(学名Canis simensis),又名阿北西尼亚胡狼或西门豺,是非洲特有的一种犬属。由于在分类上的不明,故曾以“狼”或“豺”来命名,但近年相信它们应该是灰狼的亲属。它们分
  • 格洛丽亚·马卡帕加尔-阿罗约玛丽亚·格洛丽亚·马卡帕加尔-阿罗约(他加禄语:Maria Gloria Macapagal-Arroyo;1947年4月5日-),是菲律宾第14任总统及第25任众议院议长。不仅是菲律宾第二位女总统,也是前总统奥斯
  • 藤壶属藤壶属(学名:)是藤壶科下的一属,俗称“马牙”。该属物种生活在全世界的岩石海岸和海洋漂流物上。它们的共同特征是雌雄同体,成年后将自己粘附在坚硬物体表面等,附着在船体表面的藤