自循环解释器

✍ dations ◷ 2025-11-20 05:35:05 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • UpToDateUpToDate, Inc.(bip)是威科集团的 Wolters Kluwer Health部门下的公司,其主要产品是UpToDate,是可以提供照护点(英语:point-of-care)医疗资讯的软件系统。也在中国大陆推出了UpToDa
  • 鳍状肢鳍是一种平板状的肢、尾或其他构造,用于水中或其他液体中的游动,许多不同的生物皆演化出鳍,尤其是大多数的鱼类。在哺乳类中则有鲸鱼与海狮等动物拥有鳍。其他还有少数的爬虫类
  • 实践大学实践大学,是一间台湾的私立大学,校区分设于台北市中山区、高雄市内门区、苓雅区两地三区。前身为1958年3月26日由前中华民国副总统谢东闵创立的实践家政专科学校,并于1997年8月
  • 王大珩王大珩(1915年2月26日-2011年7月21日),江苏吴县(今江苏省苏州市)人,生于日本东京,中国光学专家。中国光学界的重要学术奠基人、开拓者和组织领导者。开拓和推动了中国光学研究及光学
  • 额亦都额亦都(满语:ᡝᡳᡩᡠ,穆麟德:eidu;1562年-1621年)世居长白山英锷峪,钮祜禄氏,父都陵阿,隶属于满洲镶黄旗。为后金开国五大臣之首。康熙朝重臣遏必隆的父亲,孝昭仁皇后的祖父,孝和睿皇后
  • 毒药毒物是对生物造成不适反应的物质的总称。毒物对生物体造成的影响因种类不同各异,不适反应的类型以及程度也各不相同。另外对于有的生物来说具有毒性而对于别的生物来说无毒的
  • 美国黑人手语美国黑人手语(英语:Black American Sign Language,缩写作 BASL)又名黑人手语分支(Black Sign Variation,缩写作 BSV),是美国手语方言,在美国的非裔聋哑人群体中最为常见。作为美国手
  • 按市域人口排列的世界城市列表本条目列出了“市域”概念定义下的世界上人口最多的城市。市域(city proper)是由法定或政治边界和定义的地方,是常以某种形式的地方政府为特征的行政上认可的城市。 市域及其边
  • 意大利饺古罗马 · 中世纪 · 文艺复兴 · 现代威尼斯和威尼托 · 托斯卡尼 · 西西里 · 维琴察 · 罗马 (罗马饮品) · 那不勒斯面包 · 干酪 (PDO) · 油酥糕点 ·
  • 台大杯全国热门流行舞蹈大赛台大杯全国热门流行舞蹈大赛简称台大杯热舞大赛,是台湾的排舞竞赛(Choreography Competition),主办单位为国立台湾大学学生社团-台湾大学热门舞蹈社。比赛规则以二人以上团体为单