自循环解释器

✍ dations ◷ 2025-11-24 07:59:06 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 手太阴肺经手太阴肺经(LU,Lung Meridian of Hand-Taiyin)是一条经脉,十二正经之一,与手阳明大肠经相表里。根据《灵枢·经脉》,其循行如下:肺手太阴之脉,起于中焦,下络大肠,还循胃口,上膈属肺。从
  • 机床机床(英语:Machine Tool)是指动力制造的机械装置,通常用于精密切削金属,以生产其他机器或加工的金属零件。为了加工工件,机床在工件和刀具(英语:Cutting tool (machining))之间产生相
  • 大岗山超峰寺坐标:22°31′N 120°12′E / 22.51°N 120.20°E / 22.51; 120.20大岗山超峰寺,位于台湾高雄市阿莲区,是佛教名寺,主奉观音菩萨、善财和龙女,原由浙江普陀山奉迎来台的观音菩萨
  • 佩尔森博伊格-戈特斯多夫佩尔森博伊格-戈特斯多夫(德语:Persenbeug-Gottsdorf)是奥地利下奥地利州梅尔克县的一个市镇。总面积8.31平方公里,总人口2209人,人口密度265.8人/平方公里(2005年)。
  • 效应效果,或效应,是指在有限环境下,一些因素和一些结果而构成的一种因果现象,多用于对一种自然现象和社会现象的描述,效应一词使用的泛围较广,并不一定指严格的科学定理、定律中的因果
  • 直升机父母直升机父母(helicopter parent)是指过分介入儿女生活,保护或是干预其生活的父母,因为类似直升机一样的盘旋在儿女身边,故称为直升机父母。在日本也有类似概念的“怪兽家长”(日语:
  • 各国公路里程列表这是一个各国公路里程列表,若无特别注明,大部分数据来源于世界概况。本列表包含高速公路,高速公路提供车辆高速通行,除端点外没有任何交叉路口,在各地有不同的名称
  • 镭女郎镭女郎是指1917年左右,受雇于美国镭企业、替手表的表面涂上可以发亮颜料(也就是镭)、最后导致辐射中毒的工厂女工。由于这些女工都被告知这项颜料是无害的,因此,她们会用舌尖舔拭
  • 佐佐木喜英佐佐木喜英(1987年10月4日-),日本男性演员,出身于东京都,隶属经纪公司为SENSE UP。(*粗体为个人live)
  • 阴道隔阴道隔(英语:vaginal septum),是指阴道在发育中出现先天性的分区,其中隔膜可能是横向或纵向的。阴道发育异常是因胚胎发育过程中副中肾管发育受到干扰产生。比如双侧副中肾管会合