自循环解释器

✍ dations ◷ 2025-12-10 21:58:09 #计算机编程,计算机科学

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

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

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

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

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

(+ (square 2) (square 3))

其解释过程如下:

相关

  • Gilead Sciences吉利德科学公司(Gilead Sciences, Inc.)是一家美国大型生物制药公司,成立于1987年,总部位于加州旧金山湾区的福斯特城。在台湾注册的名称为“吉立亚”。主要生产和研发针对艾滋
  • 非那西丁非那西丁(Phenacetin,或译非那西汀),化学式C10H13NO2,在室温是白色结晶固体,熔点约134℃,是一种在许多国家被禁售的药物。非那西丁在1887年发明, 主要作为止痛药使用。通常每日300至
  • 约翰·恩瑟·李特尔伍德约翰·伊登斯尔·利特尔伍德(英语:John Edensor Littlewood,1885年6月9日-1977年9月6日),英国数学家,最为出名的是他和高德菲·哈罗德·哈代长期的合作。利特尔伍德出生在肯特郡的
  • 真三尖齿兽目真三尖齿兽目(学名:Eutriconodonta),又名真三椎齿兽目,是一类早期的哺乳动物。它们与现今哺乳动物的祖先是近亲,生存于侏罗纪至白垩纪期间。它们是其中一类可以从定义上被分类为哺
  • 石蛾石蛾,即毛翅目(Trichoptera),是一群具有水生幼虫和陆生成虫的昆虫。大约有14,500种被描述的物种,其中大部分可以根据成年口器分为完须亚目(英语:Integripalpia)(Integripalpia)和环须
  • 格伦·克洛斯格伦·克洛斯(英语:Glenn Close,1947年3月19日-),美国著名电影、电视剧以及舞台剧女演员。以扮演蛇蝎美人式的角色而闻名,如《危险关系》(1988年)中的梅黛侯爵夫人以及《致命的诱惑》
  • 国营媒体国营广播是指由国家经营的广播机构或服务,在法律上可以行使国家权力,对国民进行主要宣传的统治性广播方式。国营广播大多分布在发展中国家、欧洲各国以及20世纪中后期的东方集
  • 行动主义行动主义(英语:Activism),这个词的来源于“Active”(活跃),所以又可以翻译成活跃主义。这个词主要形容一个圈子、社会之中那些比较活跃的社会运动分子。经常带头或者主动的存在一个
  • ChTZ S-60斯大林涅兹(Stalinez)重型拖拉机-ChTZ S-60,是二战中苏军广泛采用的拖拉机。苏军在二战中大量用的拖拉机当中,最早生产的是由车里雅宾斯克拖拉机厂于1933年至1937年制造的S-60"С
  • 艾里斯·玛丽恩·杨艾里斯·玛丽恩·杨(英语:Iris Marion Young)(1949年1月2日 - 2006年8月1日)是一位美国政治理论家和女性主义者,专注于正义的本质和社会差异。她曾担任芝加哥大学政治学教授,并在那