自循环解释器

✍ dations ◷ 2025-12-02 08:22:27 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 原牛原牛(学名:Bos taurus primigenius),是一种已灭绝的牛亚种,是现代家牛未驯化的野生近亲。最后一只于1627年在波兰灭绝。原牛出现在欧洲和西亚的石器时代的洞穴壁画中,显示它是重要
  • PrOsub2/sub二氧化镨是一种无机化合物,化学式为PrO2。二氧化镨可以通过在水中煮沸Pr6O11或用浓乙酸与之作用得到:二氧化镨依据制备方法的不同,在320或360℃开始分解,放出氧气。
  • 1,3-丁二醇1,3-丁二醇,分子式C4H10O2。无色粘稠液体,略有苦甜味,吸湿性强。溶于水、乙醇、丙酮、丁酮、蓖麻油、邻苯二甲酸二丁酯,几乎不溶于苯、甲苯、四氯化碳、乙醇胺类、脂肪烃、矿物
  • 东方设计大学东方设计大学,全名东方学校财团法人东方设计大学,位于高雄市湖内区,是一间以设计类科为主的科技大学。拥有艺术设计、民生设计、应用设计三学院。2015年教育部准予筹备东方设计
  • 威廉·维恩威廉·卡尔·维尔纳·奥托·弗里茨·弗兰茨·维恩(Wilhelm Carl Werner Otto Fritz Franz Wien,1864年1月13日-1928年8月30日),德国物理学家,研究领域为热辐射与电磁学等。1893年,
  • 毛卷云毛卷云(学名:Cirrus fibratus,缩写: Ci fib ),是卷云的一种。毛卷云的外观类似直线或不规则的白色丝线,形态纤细,末端不呈钩状或簇状。在大多数情况下,毛卷云的“云丝”互不重叠。
  • 奥林匹克公园英女王伊丽莎白二世奥林匹克公园(英语:Queen Elizabeth Olympic Park),启用称奥林匹克公园(英语:Olympic Park)位于英国伦敦东部,与斯特拉特福德市(Stratford City)相邻;公园因主办2012
  • 阿瓦达阿瓦达 (英语:Arvada, Colorado)是美国科罗拉多州的一个城市,位于州府丹佛西北。行政上大部分属于杰佛逊县,余属亚当斯县。面积85.1平方公里,2006年人口104,830人。1904年8月24日
  • 太空竞赛时间表这是从第一个洲际弹道导弹到阿波罗-联盟测试计划的太空竞赛时期的航天首次成就年表。1在发射前,改计划领导者直接从美国海军研究实验所(NRL)调转到美国国家航空宇航局(USA-NASA).
  • Berryz工房 特别精选辑 Vol.2“Berryz工房 特别精选辑 Vol.2”(Berryz工房 スッペシャル ベスト Vol.2)是日本的女子偶像组合Berryz工房的第2枚精选专辑。于2014年2月26日发行。唱片公司为PICCOLO TOWN。