自循环解释器

✍ dations ◷ 2025-11-30 04:13:28 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 乏燃料池乏核燃料是经受过辐射照射、使用过的核燃料,通常是由核电站的核反应堆产生。这种燃料无法继续维持核反应。乏核燃料中仍然包含有大量的放射性元素,因此具有放射性,如果不加以妥
  • 痕痒痒,中医叫风瘙痒,是一种使动物有对发生部位产生抓挠欲的不快感觉,与疼痛有许多相似之处。其发生多源自周围神经系统(皮痒性和神经性)和中枢神经系统(神经性、神经源性和心理性)。皮
  • 字体设计字体排印学(英语:typography)又称为文字设计,是通过排版使得文字易认、可读和优美的技艺。排版,即安排活字的方式,包括字体与字号的选取、栏宽与行高的设定以及字距的调整等。在西
  • 欧榛油欧榛(学名:Corylus avellana)也称欧洲榛,落叶灌木,春天长出下垂的柔荑花序,秋天结出成串坚果。是一种原生在欧洲与亚洲西部的榛属植物。南至不列颠群岛、希腊、伊比利半岛、土耳其
  • 范特荷夫定律范特霍夫方程(Van 't Hoff equation)是一个用于计算在不同温度下某反应的平衡常数的方程。设 K 为平衡常数, ΔHo 为焓变, ΔSo 为熵变, T为温度。由雅各布斯·亨里克斯·范托夫
  • 高雄软件科技园区高雄软体科技园区,简称高雄软体园区、高软,面积7.9公顷,是设于高雄市前镇区之智能科技园区,也是全国唯一靠海的科技园区,致力于发展亚太地区资讯软件、数位影音、电脑通讯等产业
  • 加洛坎市加洛坎市(Caloocan或Kalookan)是菲律宾马尼拉大都会的城市之一,位于马尼拉市之北,是仅次于奎松市、马尼拉市之后的全国第三大城;分为南北两区,居民共有1,378,856人(2007年)。坐标:14
  • 孙淳孙淳(1956年7月4日-),中国男演员。上海戏剧学院表演系77级毕业生。处女作为电影《见习律师》。出道早期多与第五代导演合作,如陈凯歌的电影《大阅兵》中扮演孙放教官;张艺谋的电影
  • 亚当·山德勒最差男主角1999年 《老爸向前冲》2011年 《随波逐流》;《杰克与吉尔》2012年 《爸爸的好儿子》亚当·理查·桑德勒(英语:Adam Richard Sandler,1966年9月9日-)是一位美国电影演员
  • Hesse“Hesse”是一个德文名字,同时也是德国的一个邦。 Hesse可以指:'