自循环解释器

✍ dations ◷ 2025-11-19 05:49:55 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下：

相关

鞘翅目See subgroups of the order Coleoptera（英语：subgroups of the order Coleoptera）鞘翅目（Coleoptera）是昆虫纲中最大的目，包括各种甲虫。目前全世界的甲虫，约182科，约有35万种，超过
菲利库迪岛菲利库迪岛是意大利的岛屿，位于西西里岛以北的提雷尼亚海，属于埃奥利群岛的一部分，长5.4公里、宽3.1公里，面积9.5平方公里，最高点海拔高度774米，2001年人口235。坐标：38°34′N 14
把脉切诊，包括脉诊和按诊两部分，是医生运用双手对病人的一定部位进行触、摸、按压，从而了解疾病情况的方法。脉诊是按脉搏；按诊是对病人的肌肤、手足、脘腹及其病变部位的触摸按压，以
四库全书总目提要《钦定四库全书总目提要》，简称四库全书总目、四库总目、四库提要，共二百卷，是中国清代纪昀等编纂的一部大型解题书目，是中国古典目录学方法的集大成者。《总目》以经史子集提纲
二氧化碳性质表二氧化碳及干冰的一些性质如下叙述。二氧化碳在水中的溶解度如下：表格数据来自《CRC Handbook of Chemistry and Physics》第44版。注释中的“(s)”表示固体上方蒸气的平衡温
五氧化二钽五氧化二钽（化学式：Ta2O5）是钽最常见的氧化物，也是钽在空气中燃烧生成的最终产物。白色无色结晶粉末。在1000～1200℃时仍保持白色，进一步升高温度则变为灰色。已知有两种变体：
吉森大学吉森大学，全称吉森尤斯图斯-李比希大学（德语：，缩写为），是一所位于德国黑森州吉森的公立大学，1607年由黑森-达姆施塔特伯爵路德维希五世（德语：Ludwig V. (Hessen-Darmstadt)）（Ludwig V.）
诺伦三女神诺伦三女神或诺恩三女神（或省掉“三女神”三字。古诺斯语：；英语：The Norns或是复数形nornir），是北欧神话中的命运女神。诺伦三女神是智慧巨人密米尔的三个女儿，另一说是巨人诺尔维（
第一次晋州城之战釜山镇 – 多大浦 – 东莱城 – 尚州 – 忠州弹琴台 – 玉浦 – 泗川 – 临津江 – 唐浦 – 唐项浦 – 闲山岛 – 龙仁 – 梨峙 – 平壤 – 釜山浦 – 北关
旧门旧门（德语：Altpoertel）是德国城市施派尔在中世纪时期的西城门，也是旧城的68塔之一。城门高度达55米，是德国最高大的城门建筑之一。旧门修建于1230年至1250年期间。坐标：49°19′03