自循环解释器

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

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 牡丹江医学院牡丹江医学院Mudanjiang Medical University成立于1958年,是一所省属医科类大学,是黑龙江省特色应用型本科高校建设单位、中国全国首批卓越医生教育培训计划项目试点高校,2015
  • 札尼别札尼别(蒙古语:.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Ti
  • 维也纳咖啡馆维也纳咖啡馆(德语:Das wiener Kaffeehaus;英语:Viennese cafe)是奥地利首都-音乐之都维也纳特有的城市人文特色,和巴黎左岸拉丁区的咖啡馆文化,并列为欧陆两大咖啡馆文化。相传咖啡
  • 裴矩裴矩(547年-627年),字弘大,河东郡闻喜县(今山西闻喜东北)人,隋末及唐初政治家。初名裴世矩,后避太宗名讳,单名矩。祖父,裴佗,北魏荆州刺史,父亲裴讷之,北齐太子舍人,早卒。裴矩少好文学,甚有
  • span class=nowrapAgsub2/subMoOsub4/sub/span&钼酸银(Ag2MoO4)是一种白色到黄色、立方晶系的晶体。用钼酸钠与硝酸银溶液反应,得到粉末状沉淀的钼酸银,或得到悬浮液。与碘化银混合可用于制特殊玻璃。钼酸银可以传导离子。
  • 鼠冠状病毒鼠冠状病毒(Murine coronavirus、M-CoV),包括感染小鼠的鼠肝炎病毒(Mouse hepatitis virus、MHV)与感染大鼠的大鼠冠状病毒(Rat Coronavirus, RCoV)等不同株系,是乙型冠状病毒属的一
  • 美国特勤局美国特勤局(又译美国特勤处、美国密勤局等,英语:United States Secret Service,缩写USSS)是美国联邦政府的执法机构,隶属于美国国土安全部。该机构雇员分为特工和制服部门。2003年
  • 旅行团旅行团是一种旅游的模式,先付款、后消费。旅游团的价钱包括了交通、三餐、旅馆住房、观光景点的入场费等,而导游、车长及领队的建议小费则另计。当中的交通包括飞机票及游览车
  • 生化危机系列生化危机系列(日版名:バイオハザード,BIOHAZARD,英文版名:Resident Evil,台湾译作“恶灵古堡”)是由日本卡普空公司推出,以恐怖惊悚与第三人称射击为主要内容的电子游戏系列。除电子
  • 经国大典《经国大典》是朝鲜王朝的法律文献,被誉为“国家的立国磐石”。它确立了朝鲜的官职制度、官衙机构等,当中的官职在1469年制定以后虽然有所变动,但在总体上还是遵行《经国大典》