自循环解释器

✍ dations ◷ 2025-12-02 14:40:11 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 盘基网柄菌盘基网柄菌(Dictyostelium discoideum)是一种原生生物,属于黏菌的一种。经常用来作为科学研究所用的模式生物。这种生物带有6个染色体,基因组大小约34Mb,其中约有8000到10000个基
  • 雅利安人庞提克大草原高加索地区东亚东欧南欧庞提克大草原北方/东方大草原欧洲地区南亚地区西伯利亚大草原欧洲高加索地区印度印度-雅利安民族伊朗民族欧洲民族东亚印欧民族欧洲民族
  • 张 泽张泽(1953年1月29日-),生于天津,原籍北京,中国材料科学晶体结构专家,中国科学院物理研究所研究员,现任浙江大学材料系教授、博士生导师。1980年毕业于吉林大学物理系,1987年获中国科
  • 咖啡加工咖啡加工(Coffee Production)是一种将咖啡树的咖啡果转换为生咖啡豆商品的工业过程。过程中将咖啡果的果实或果肉去除,留下种子或豆子,并将之烘干。不同的加工方式会影响咖啡在
  • 神懿王后神懿王后(신의왕후,1337年九月-1391年9月12日)韩氏,是朝鲜王朝开国君主太祖李成桂的元妃,本贯安边(清州),父亲安川府院君韩卿,母亲三韩国大夫人申氏。高丽忠肃王后六年(1337年)农历九月,
  • 东伦敦清真寺东伦敦清真寺(East London Mosque)是英国伦敦的一座大型清真寺,位于塔村区的白教堂区域,服务英国最大的穆斯林社区之一。连同毗邻的伦敦穆斯林中心,可容纳5000人。坐标:51°31′03
  • M2火焰喷气器M2火焰喷气器(英语:M2 flamethrower,简称:M2-2)是一具由美国美国陆军化学战争工作局所设计的单兵携带及背负式火焰喷气器,并且首次于第二次世界大战之中使用,是M1A1火焰喷气器(英语:M
  • 自然交配交配是指的是生物的生殖细胞进行交换,导致受精和繁殖的活动。家畜之间的交配活动通常也可称为配种。昆虫、鸟类和卵胎生鱼类的交配活动可以称为交尾。雄性的精子会进入雌性体
  • 司法精神医学司法精神医学(英语:Forensic psychiatry),是精神病学的一个分支,和犯罪学关系密切。该学科将法律同神经病学联系在一起。司法心理学家会将心理学相关的证据(如确定当事人是否适合
  • 萨拉齐县萨拉齐县,中国旧县名。清乾隆六年(1741年,一说乾隆四年)置萨拉齐协理通判厅。辛亥革命后,全国废府州厅改县,于1912年改为“萨拉齐县”,属山西省,驻萨拉齐镇。1928年后,属绥远省。1958