自循环解释器

✍ dations ◷ 2024-12-22 20:30:19 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 葡萄球菌黄素葡萄球菌黄素(英语:Staphyloxanthin)是一种由一些金黄色葡萄球菌菌种制造的类胡萝卜素。这种色素给了金黄色葡萄球菌它的颜色。葡萄球菌黄素在金黄色葡萄球菌的感染中扮演了重
  • 雷姆利亚大陆雷姆利亚大陆(Lemuria;发音: /lᵻˈmjʊəriə/),又译利莫里亚大陆或狐猴洲,是假设的大陆,位于印度洋海域,介乎马达加斯加岛、泰米尔纳德邦及西澳之间。早年根据陆桥假说,若在马达加
  • 针对医生的暴力医闹,指借炒作医疗纠纷而获得非法利益者,是中国大陆医界的热词。发起医闹者可能为患者、患者亲属、受雇于患方以非法获利为目的的组织或个人,有调查报告称其中医闹组织发起的医
  • 桌面排版桌面出版(英语:Desktop publishing,DTP)是指在个人电脑上运用版面设计技巧来创建文档(以供印刷)。桌面出版软件可以生成布局,并生成在印刷质量上可以与传统排版和印刷相媲美的文本
  • 大陆冰川海洋性冰川(温性季风性冰川),是对中国冰川的分类,相对应的则为“大陆性冰川”。是最早由中国冰川学家、院士施雅风出的对冰川的分类方法。
  • 虐乳虐乳(英语:Tit torture)是指对乳房的施虐行为,为一种虐恋的方式,方式相当繁多,常见的方式有以下几种:用热水淋乳房上述方式都是要让受虐癖者受强烈刺激而产生痛快感。
  • 1051年重要事件及趋势重要人物
  • 雷龙雷龙属(学名:Brontosaurus)是蜥脚下目恐龙的一个属。由奥塞内尔·查利斯·马什在1879年命名(brontē/βροντη 在古希腊文里意为“雷声”,而 sauros/σαυρος 意为“蜥蜴
  • Nature (组合)NATURE(朝鲜语:네이처)是韩国n.CH 娱乐公司推出的女子组合,由韩国籍成员Sohee、Saebom、Lu、Chaebin、Loha、Uchae、Sunshine,中国籍成员Aurora及日本籍成员Haru组成。组合于2018
  • 图像熵图像熵(image entropy)是图像“繁忙”程度的估计值,熵值越高的图像(在亮度上有很多细节和变化,如有很多鹅卵石的地面,阴影对比分明),将需要更高的压缩设置来满足最终的目标图像大小