自循环解释器

✍ dations ◷ 2025-12-03 04:30:57 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 智能手表智能手表(英文:Smartwatch)是安装有嵌入式系统、用于增强基于报时等功能的腕部手表,其功能相似于一台个人数码助理。早期智能手表既可以执行计算(英语:Calculator watch)、翻译或者
  • 法布里-珀罗干涉仪在光学中,法布里-佩罗干涉仪(英文:Fabry–Pérot interferometer)是一种由两块平行的玻璃板组成的多光束干涉仪,其中两块玻璃板相对的内表面都具有高反射率。法布里-佩罗干涉仪也经
  • 安森美安森美半导体(ON Semiconductor,NASDAQ:ON)是一家财富美国500强半导体供应商。公司的产品系列包括电源和信号管理、逻辑、分立及定制器件,帮助客户解决他们在汽车、通信、计算机
  • 雒越雒越又名骆越,最早源自于于越,属百越的一支,分布在中国广东西南部、广西南部,越南北部一带,中心曾经为交趾一带。“雒越”的“骆”有水田之意,他们以农业维生,自战国时代生活在广西
  • 西圣安东尼奥motto 人西圣安东尼奥(San Antonio Oeste),阿根廷内格罗河省的一个港口城市,是圣安东尼奥区的首府。西圣安东尼奥东临东圣安东尼奥,西邻格鲁塔斯。
  • 民视新闻台民视新闻台(英语:FTV News Channel)是民间全民电视公司旗下的新闻频道。于1997年5月5日开播,开播时间比民视无线台还早。民视新闻台最早定频在有线电视第4频道,2003年开始采用非
  • 孙理莲孙理莲(英语:Lillian R. Dickson,1901年1月29日-1983年1月14日),是一位出身明尼苏达州彼略湖城(Prior Lake)的美国基督长老教会宣教师。她是在台湾最早展开宣教事业的女性宣教师之一
  • 飞驒山脉
  • 伊朗-美国关系自1980年以来,伊朗与美国没有正式的外交关系。巴基斯坦是伊朗在美国的利益代表国,而瑞士则是美国在伊朗的利益代表国。伊朗在巴基斯坦驻美大使馆内设置有代表伊朗在美利益的机
  • 苏珊·柯林斯苏珊·玛格丽特·柯林斯(英语:Susan Margaret Collins;1952年12月7日-),是一位美国共和党政治人物,1997年起担任缅因州美国参议院议员。柯林斯生于阿鲁斯图克县卡里布,成年后毕业于