自循环解释器

✍ dations ◷ 2025-12-08 00:45:29 #计算机编程,计算机科学

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

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

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

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

例如以下简单的Scheme表示式（假设square是一个内置函数，其返回值为参数的平方）：

(+ (square 2) (square 3))

其解释过程如下：

相关

X射线晶体学X射线晶体学是一门利用X射线来研究晶体中原子排列的学科。更准确地说，利用电子对X射线的散射作用，X射线晶体学可以获得晶体中电子密度的分布情况，再从中分析获得关于原子位置和
希腊字母希腊字母源自腓尼基字母。腓尼基字母只有辅音，从右向左写。希腊语是首个拥有元音字母的字母系统。因为希腊人的书写工具是蜡板，有时前一行从右向左写完后顺势就从左向右写，变成
黄油猫悖论黄油猫悖论（英语：Buttered cat paradox），是把两种趣谈组合而成的恶搞悖论，该常识为：这个悖论出在，你把黄油吐司没有涂上黄油的一面黏着猫的背部之时。依照以上两条定律，猫无法用脚着
昭宣之治昭宣之治又称昭宣中兴，为西汉汉昭帝和汉宣帝在位时期（约为公元前87年至前49年）着重休养生息，以恢复汉武帝在位时严重损耗的国力，并将汉朝国力推上太平盛世。后世历史学家评定此段
瓦西列夫斯基亚历山大·米哈伊洛维奇·华西列夫斯基（俄文：Александр Михайлович Василевский，1895年9月30日－1977年12月5日），苏联红军总参谋长、远东军总司令。
美国演员工会奖影视演员协会奖（英语：Screen Actors Guild Awards，简称SAG Awards），通常译作美国演员工会奖，是由美国影视演员协会所颁发的年度奖项，专门针对电影与电视节目杰出表现而设置，在好莱坞
狞猫属Felis caracal狞猫（学名：Caracal caracal、caracal）是一种领域性非常强的猫科动物，它们的体型中等，但是被归于小型猫科，也是所有小型猫科（注意不属于猫属）中最重、奔跑速度最快的一
普林斯顿大学出版社普林斯顿大学出版社（英语：Princeton University Press）是与普林斯顿大学关系密切的独立出版社。它的使命是对学术界和社会大众传播学术成果。1905年，出版社在Charles Scribner I
秉志秉志（1886年4月9日－1965年2月21日），原名翟秉志，字农山，别号际潜，满族，翟佳氏。祖籍吉林，河南开封府驻防正蓝旗满洲旗籍举人。动物学家，中国近代生物学的主要开拓者和奠基人。参与发起
朴胤载朴胤载（韩语：박윤재，1981年1月14日－），韩国男演员，姐姐为演员蔡琳。