自循环解释器

✍ dations ◷ 2025-12-09 14:15:14 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 滤纸滤纸(Filter Paper)是以纤维制成、质地疏松多孔、具有良好过滤功能的纸。滤纸可用来将固体与水或空气分开。滤纸为因应不同用途而有各种差异,如:湿强度、孔隙率、颗粒残留量、流
  • 单一作物单一耕作、单一作物,或单一种植是指在广阔的范围内生产并种植某一种农作物的农业耕作方式,此词有见于不同的范畴,是粗放式农业的农民常见的耕作模式。单一耕作多用于农业,以描述
  • 1993年 扎科帕内第十六届冬季世界大学生运动会于1993年在波兰的扎科帕内与塔特拉举行。这是波兰首次主办冬季世界大学生运动会。吉祥物为沙布立克(Sablik,是扎科帕内的一种土拨鼠)王锦芳在两项
  • 水晶兰科参见正文水晶兰科(Monotropaceae)共有10属15种,分布于全球温带和热带的山区,生育环境分布于海拔1500-3000米以上,常见于冷凉潮湿的针阔叶混合林间。中国有4属5种,生长在西南至东北
  • 第31位本条目所列为中国大陆各省级行政区GDP总量。按照国际汇率和购买力平价将各省级行政区GDP总量数据折算为美元和国际元单位,条目以最近年份数据为主,同时收录1978年以后代表性年
  • 龙胆草龙胆(学名:Gentiana scabra)为龙胆科龙胆属的植物,也称为龙胆草(植物名实图考)、胆草、草龙胆、山龙胆。多年生草本。卵形至披针形叶子对生,有1或3条主脉;秋季开蓝紫色花,聚伞花序顶
  • 恩 承恩承(1820年-1892年),叶赫那拉.恩承,字露圃,谥文恪,号履堂,叶赫那拉氏,满洲镶黄旗人,清朝政治人物、同进士出身。清朝文生员。咸丰三年(1853年),登进士,授侍卫处主事。次年,改兵部车驾司员
  • 北加利福尼亚北加利福尼亚州(英语:Northern California)是一个位于美国加利福尼亚州北部的大都市圈。北加州的主要人口集中地包括旧金山湾区(其中的城市有旧金山、奥克兰和圣荷西)以及加州首
  • 瓜达拉哈拉瓜达拉哈拉(Guadalajara)可以指:
  • 加拿大勋章加拿大勋章(英语:,法语:),是加拿大的最高平民荣誉勋章,也是最重要的加拿大荣誉制度。勋章的资格是授予那些坚守勋章的拉丁格言的人,取自《希伯来书》11:16,“”,含意是“期望有个更好的