解释型语言（）是一种编程语言类型。这种类型的程式语言，会将程式码一句一句直接执行，不需要像编译语言（Compiled language）一样，经过编译器先行编译为机器码，之后再执行。这种程式语言需要利用直译器，在执行期，动态将程式码逐句直译（interpret）为机器码，或是已经预先编译为机器码的子程式，之后再执行。理论上，任何程式语言都可以是编译式，或直译式的。它们之间的区别，仅与程式的应用有关。许多程式语言同时採用编译器与直译器来实作，其中包括Lisp，Pascal，BASIC 与 Python。