自循环解释器

✍ dations ◷ 2025-07-22 10:18:22 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 含水层含水层(英语:aquifer),也作蓄水层,是指地底一层含有水分的渗透岩(英语:permeability (earth sciences))、岩石碎隙或未固结的材料(砾石、沙、淤泥)。人们可通过打钻水井来从含水层提取
  • 有机化合物列表在有机化合物列表中,按官能团进行排序。本表仅列出常见的有机化合物,详细信息参见各官能团的页面(如烷烃)。CH4,甲烷C2H6,乙烷C3H8,丙烷C4H10,正丁烷C4H10,异丁烷C5H12,正戊烷C5H12,异
  • 傍人(属)傍人,是人族下的傍人属(学名:Paranthropus),是双足行走的史前人科成员,可能是由南方古猿演化而来。傍人曾经被分类为南猿属之中的粗壮型南猿。所有的傍人物种都是双足行走的,而大部
  • 时报文化时报文化出版企业股份有限公司,简称时报文化、时报出版,是台湾大型出版社之一,由《中国时报》创办人余纪忠创办,为台湾第一家股票上柜的出版社。1975年1月,余纪忠筹划创立时报文
  • 夏尔·阿兹纳武尔夏尔·阿兹纳武尔(法语:Charles Aznavour,1924年5月22日-2018年10月1日),出生名为沙赫诺吾尔·瓦希纳格·阿兹纳武里安(Shahnour Vaghinag Aznavourian,亚美尼亚语:Շահնուր Վ
  • 中南客运中南汽车客运股份有限公司(英文:Chung Nan Bus Traffic., Inc.),简称:中南客运,为台湾爱巴士交通联盟成员,主要经营公路客运与国道客运。成立初期主要路线为高雄市(行经台17线)至垦丁
  • 理性选择理论理性选择理论(英语:Rational choice theory),又称为选择理论(Choice theory)、理性行为理论(Rational action theory),是政治科学及社会科学的一系列理论,主张行动本质上都是理性的,人
  • 秘密情报局英国秘密情报局(英语:Secret Intelligence Service,缩写:SIS),通称“军情六处”(英文:Military Intelligence, Section 6,缩写:MI6),是英国对外的情报机构,于1909年成立,负责在海外进行间
  • 2019冠状病毒病美国疫情时间线2019冠状病毒病美国疫情时间线,介绍在2020年美国本土及领土内2019冠状病毒病疫情发生的情况。1月1月2月2月3月3月4月4月过去15日过去15日 1月21日1月24日1月25日1月26日1月29
  • 木村兵太郎木村兵太郎(日语:木村 兵太郎,1888年9月28日-1948年12月23日),日本埼玉县人。日本帝国时代军人,二战期间在中国和东南亚犯下多起屠杀平民的战争罪行,1948年被远东国际军事法庭判处绞