解释器

第一个解释器是由史帝芬·罗素（Steve Russell）写成的LISP的解释器，基于IBM 704的机器码。

解释器执行进程的方法有：

1. 直接执行高级编程语言（如Shell内建的编译器）
2. 转换高级编程语言到更有效率的字节码，并执行字节码
3. 用解释器包含的编译器对高级语言进行编译，并指示中央处理器执行编译后的进程（例如：JIT）

Perl，Python，MATLAB，与Ruby是属于第二种方法，而UCSD Pascal则是属于第三种方式。在转译的过程中，这组高端语言所写成的程序仍然维持在原代码的格式（或某种中继语言的格式），而程序本身所指涉的动作或行为则由解释器来表现。

使用解释器来运行程序会比直接运行编译过的机器码来得慢，但是相对的这个直译的行为会比编译再运行来得快。这在程序开发的雏型化阶段和只是撰写试验性的代码时尤其来得重要，因为这个「编辑-直译-调试」的循环通常比「编辑-编译-运行-调试」的循环来得省时许多。

在解释器上运行程序比直接运行编译过的代码来得慢，是因为解释器每次都必须去分析并转译它所运行到的程序行，而编译过的程序就只是直接运行。这个在运行时的分析被称为"直译式的成本"。在解释器中，变量的访问也是比较慢的，因为每次要访问变量的时候它都必须找出该变量实际保存的位置，而不像编译过的程序在编译的时候就决定好了变量的位置了。

在使用解释器来达到较快的开发速度和使用编译器来达到较快的运行进度之间是有许多妥协的。有些系统（例如有一些LISP）允许直译和编译的代码互相调用并共享变量。这意味着一旦一个子程序在解释器中被测试并调试过之后，它就可以被编译以获得较快的运行进度。许多解释器并不像其名称所说的那样运行原始代码，反而是把原始代码转换成更压缩的内部格式。举例来说，有些BASIC的解释器会把保留字取代成可以用来在转移表中找出相对应指令的单一字节符号。解释器也可以使用如同编译器一般的文本分析器和语法分析器然后再转译产生出来的抽象语法树。

直译式程序相较于编译式程序有较佳的可携性，可以容易的在不同软硬件平台上运行。而编译式程序经过编译后的程序则只限定于运行在开发环境平台。

考量程序运行之前所需要分析的时间，存在了一个介于直译与编译之间的可能性。例如，用Emacs Lisp所撰写的原代码会被编译成一种高度压缩且优化的另一种Lisp原代码格式，这就是一种字节码（bytecode），而它并不是机器码（因此不会被绑死在特定的硬件上）。这个"编译过的"码之后会被字节码直译器（使用C写成的）转译。在这种情况下，这个"编译过的"码可以被说成是虚拟机（不是真的硬件，而是一种字节码解释器）的机器码。这个方式被用在Open Firmware系统所使用的Forth代码中：原始程序将会被编译成"F code"（一种字节码），然后被一个特定平台的虚拟机直译和运行。

即时编译（Just-in-time compilation）是指一种在运行时期把字节码编译成原生机器码的技术;这项技术是被用来改善虚拟机的性能的。该技术在近几年来才开始获得重视，而它后来模糊了直译、字节码直译及编译的差异性。在.NET和Java的平台上都有用到JIT的技术。大约在1980年代Smalltalk语言出现的时候JIT的技术就存在了。

在文学编程文章中有一个简单的程序和一个解释器。

“interpreter”这个字眼有时候是指一些可以读取打孔卡的机器。这些机器可以读取卡片上的孔并以人们读得懂的格式打印出来。IBM 550数字读卡机和IBM 557字母读卡机是主要的两个例子。

• AWK
• BASIC
• JavaScript
• LISP
• Racket
• Scheme
• Haskell
• Idris
• Clojure
• Shell
• Perl
• Prolog
• Ruby
• Python
• PHP Hypertext Preprocessor
• C
• C++
• Java

• partial evaluation
• 直译语言
• 编译语言
• 动态编译
• Threaded code, a compact form of code that depends on a simple interpreter.
• Metacircular Interpreter

• IBM Card Interpreters （页面存档备份，存于） page at Columbia University

本条目部分或全部内容出自以GFDL授权发布的《自由在线电脑词典》（FOLDOC）。