自循环解释器

✍ dations ◷ 2025-12-04 05:28:13 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 莫达非尼莫达非尼(英文名Modafinil)是一种觉醒促进剂(英语:Wakefulness-promoting agent),被用于对发作性嗜睡病、轮班工作睡眠紊乱以及与阻塞性睡眠呼吸暂停相关的白天过度嗜睡(英语:Excess
  • 波兰人瓦迪斯瓦夫一世·尼古拉·哥白尼·Jan Kochanowski·Ignacy Krasicki·塔德乌什·柯斯丘什科 Stanisław Staszic·弗雷德里克·肖邦·伊格纳齐·武卡谢维奇·亨里克·维尼
  • 非三位一体派非三位一体派,或作反对三位一体派,认为上帝是三位一体的传统教义并非《圣经》之教导。例如一位论派、耶和华见证人、耶稣基督后期圣徒教会及基督弟兄会等。在早期基督教,《圣经
  • 金门大学拉丁文:Civium in moribus rei publicae salus (英文: "The welfare of the state depends upon the morals of its citizens")金门大学(英语:Golden Gate University),位于美国
  • 桐花Aleurites fordii Hemsl.油桐(学名:Vernicia fordii)是大戟科中的一种落叶树(英语:deciduous tree),原产地为中国大陆南方、缅甸、越南北部。亦有很多俗名,如“油桐树”、“桐油树”
  • 浙江地理浙江省位于中国东部,北邻上海市、江苏省、西依安徽省、江西省、南接福建省。东侧面临东海,大部分海岸线相当曲折,海湾、岛屿众多。杭州湾是其中最大的一个海湾。沿海有3000多个
  • RATSRATS,全称是Regression Analysis of Time Series(意思是“时间序列的回归分析”),是一种统计程序包。可应用于统计分析和多种计量经济模型的估计。
  • 信息自由法 (美国)《信息自由法》(Freedom of Information Act 简称FOIA,也译作情报自由法、美国信息自由法案)是美国关于联邦政府信息公开化的行政法规,颁布于1967年。《信息自由法》的主要内容
  • 甲斐谷忍甲斐谷忍(1967年9月24日-),日本男性漫画家。出生于鹿儿岛市。鹿儿岛大学工学部毕业。现居于千叶县柏市。
  • 德拉古特德拉古特(土耳其语:Turgut Reis;1485年-1565年6月23日),奥斯曼帝国希腊裔穆斯林出身的海盗和海军司令,后成为奥斯曼阿尔及利亚和的黎波里塔尼亚总督。在他的率领下,奥斯曼帝国海军力