自循环解释器

✍ dations ◷ 2025-04-26 17:07:39 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 球形在数学里,球是指球面内部的空间。球可以是封闭的(包含球面的边界点,称为闭球),也可以是开放的(不包含边界点,称为开球)。球的概念不只存在于三维欧氏空间里,亦存在于较低或较高维度,以
  • 乔治·斯蒂格勒知识产权市场化自由放任小政府主义负所得税公开市场操作私有财产私有化经济主题乔治·约瑟夫·斯蒂格勒(英语:George Joseph Stigler,1911年1月17日-1991年12月1日),生于美国华盛
  • 最终解决德国问题条约最终解决德国问题条约(英语:The Treaty on the Final Settlement With Respect to Germany,法语:Traité portant règlement définitif concernant l'Allemagne,俄语:Догов
  • 蔡康永蔡康永(英语:Kevin Tsai,1962年3月1日-),台湾知名节目主持人、作家、电影导演。曾荣获第40届金钟奖最佳综艺节目主持人奖;并七度担任金马奖颁奖典礼主持人。蔡康永生于台湾台北市,父
  • 六凡六道(梵语:ṣaḍ-gatīḥ),又名六趣(趣通趋,意为趋向的轮回道及环境)、六凡、六途或轮回六道等,佛教名词,意指六种欲界、色界及无色界众生的种类型态或者说是境界,也是在凡夫众生轮回
  • 空谷尔期空谷期(Kungurian),又译作空谷尔期、孔古阶或昆古尔阶,是地质年代二叠纪早期的乌拉尔世(或作乌拉尔统)早期的一个期。空谷尔期在283.5到272.95百万年之间,罗德期(Roadian)之前、亚丁
  • abbr title=messenger RNAmRNA/abbr信使核糖核酸(英语:messenger RNA,缩写:mRNA),是由DNA经由转录而来,带着相应的遗传讯息,为下一步翻译成蛋白质提供所需的讯息。在细胞中,mRNA从合成到被降解,经过了数个步骤。在转录的
  • A线A线(西班牙语:Línea A),为阿根廷布宜诺斯艾利斯地铁最早的运营线路。目前地铁A线从五月广场站至San Pedrito,共有16个车站,全长10.7公里。
  • 人民军第6师朝鲜人民军第6师团(韩语:제6사단)是朝鲜人民军的一个步兵师。1945年日本投降后,柳河县辛家街30多名原日本陆军朝鲜人在罗章燮(罗勇)带领下成立义勇军,以柳河县孤山子屯为中心,发展为
  • 格拉克斯·巴贝夫格拉克斯·贝巴夫(Gracchus Babeuf,1760年11月23日-1797年5月27日),法国大革命时期的政治活动者和记者。贝巴夫出身新教徒家庭。贝巴夫原本在法院中做簿记员,适逢法国大革命,在法庭