自循环解释器

✍ dations ◷ 2025-08-13 21:39:39 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 达达尼尔海峡坐标:40°13′00″N 26°26′00″E / 40.216667°N 26.433333°E / 40.216667; 26.433333达达尼尔海峡(希腊语:Δαρδανέλλια,转写:Dardanéllia),土耳其称恰纳卡莱海峡(土
  • 迦毗罗迦毘罗(Kapila),又译迦毗罗、迦维罗、加毘罗、劫比罗、迦毘梨等,是一个印度译名,可以指 :
  • 王立军王立军(1946年7月13日-),吉林舒兰人,中国激光与光电子技术专家,中国科学院长春光学精密机械与物理研究所研究员。2017年当选为中国科学院院士。1973年毕业于吉林大学半导体系,1982
  • 中美洲议会中美洲议会(西班牙语:Parlamento Centroamericano,缩写为Parlacen)是中美洲统合体的立法机关,成立于1991年10月28日,设于危地马拉城。中美洲议会有120名议员,由直接选举产生。以下
  • 电椅电椅(Electric Chair)是美国于20世纪常用的一项死刑执行工具。电椅的发明者实际上由托马斯·爱迪生本人发明,名义上是阿尔弗雷德·索思威克(英语:Alfred P. Southwick)(Alfred P. S
  • .np.np为尼泊尔国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az   B .ba .bb .bd .be .bf .bg .bh .bi .bj .bm .b
  • 州议会大厦以下是美国各州的州议会大厦列表。AL 亚拉巴马州 AK 阿拉斯加州 AZ 亚利桑那州 AR 阿肯色州 CA 加利福尼亚州 CO 科罗拉多州 CT 康涅狄格州 DE 特拉华州 FL 佛罗里达州 GA
  • 伊利诺伊州立大学伊利诺伊州立大学(Illinois State University;缩写:ISU)是位于美国伊利诺伊州诺默尔的一所公立大学。1857年建立时称伊利诺伊州立师范大学(Illinois State Normal University),是该
  • 有机锑化学有机锑化学是指研究碳(C)和锑(Sb)之间化学键的化学分支。锑在这些化合物中的存在形式为Sb(V)和Sb(III)。但是锑的毒性限制了这类化合物在有机化学中的进一步应用。
  • 初创企业初创企业(英语:startup company)或者创业(英语:startup)是勇于探索可重复和可扩展性商业模式的一家公司,一个合作伙伴或者暂时成立的组织。这些公司,一般新建的,是处于商业发展和市场