自循环解释器

✍ dations ◷ 2025-12-01 13:40:59 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • 再结晶重结晶(英语:Recrystallization),再结晶,晶种结晶法,也称之为优先结晶法;是一种物理过程,在化学、冶金学和地质学中有很不同的用途。重结晶是将物质溶于溶剂或熔融后,又重新从溶液或
  • 西莫恩·德尼·泊松西莫恩·德尼·泊松男爵(法语:Siméon Denis Poisson,法语发音为/simeõ d̪əni pwasõ/,1781年6月21日-1840年4月25日),法国数学家、几何学家和物理学家。1798年,他以当年第一名成
  • 中枢神经刺激剂兴奋剂又称为中枢神经兴奋剂、中枢神经刺激剂(英文名称:stimulant、psycho-stimulant)是一系列精神药物的统称,其中包括可以增加活动力的药物、会令人感到愉快和振奋的药物,以及
  • 斯蒂芬·金斯蒂芬·埃德温·金(英语:Stephen Edwin King,1947年9月21日-),美国畅销书作家,编写过剧本、专栏评论,曾担任电影导演、制片人以及演员,作品多产、屡获奖项。斯蒂芬·金作品销售超过3
  • 荞麦面荞麦面,荞麦原产于中亚,古代就已经传入中国。荞麦面是用荞麦、面粉和水,和成面团压平后切制的细面条,煮熟食用。荞麦多产于高寒地区,可以生长在贫瘠的土地上,像中国山西朔州山区陕
  • 电线杆电线杆是用来把电缆架起以方便电力或电信远距离传输的构造物。通常电缆会被高高地架在电线杆上,这可以远离行人、或跨过道路与建筑物。这种用电线杆架起电缆传输电的方法成本
  • 原台北刑务所官舍台北刑务所,是台湾在日治时期的一座监狱,位于台北市福住町。监狱建筑建于1904年,战后仍持续使用至1963年至位于桃园龟山的新台北监狱启用。至今留存的部分,只有台北监狱围墙遗迹
  • 礼文岛坐标:45°22′57″N 141°01′41″E / 45.382537°N 141.028061°E / 45.382537; 141.028061礼文岛(日语:礼文島/れぶんとう Rebuntō */?)是位于日本北海道北部、稚内以西方60
  • 亚眠《亚眠和约》(法语:Paix d'Amiens,英语:Treaty of Amiens),于拿破仑战争发生期间的1802年3月,由当时法兰西第一共和国第一执政拿破仑·波拿巴的兄长约瑟夫·波拿巴及英国的康沃利斯
  • 喷气阀门喷气阀门是一种涡轮增压式发动机上使用的减压装置,它的作用是用来避免压缩机涌流和降低发动机磨损。压缩机支路阀门(compressor bypass valve, CBV)又叫压缩机释放阀门(compr