编译型语言和解释型语言是两种常见的编程语言类型，它们在代码执行方式和执行效率上存在一些区别。

编译型语言：

1. 编译过程：编译型语言的源代码需要先经过编译器的处理，将其转换为目标平台的机器码或字节码。这个编译过程发生在程序运行之前，生成的可执行文件可以独立地在目标平台上运行。

2. 执行效率：由于编译型语言的代码在执行之前已经被完全翻译成机器码，因此它通常具有较高的执行效率和性能。

3. 静态类型检查：编译型语言通常进行静态类型检查，即在编译过程中检查类型错误和潜在的编程错误，提供更早的错误检测。

常见的编译型语言包括C、C++、Java（在Java中，源代码首先被编译为字节码，然后由Java虚拟机解释执行）等。

解释型语言：

1. 解释过程：解释型语言的源代码在运行时逐行被解释器解释执行，无需显式的编译过程。解释器将源代码逐行翻译成机器码或字节码，并立即执行。

2. 执行效率：由于解释型语言在执行时需要逐行解释和翻译源代码，因此通常比编译型语言具有较低的执行效率和性能。

3. 动态类型检查：解释型语言通常进行动态类型检查，即在运行时检查类型错误和编程错误。这使得解释型语言具有更灵活的类型系统。

常见的解释型语言包括Python、Ruby、JavaScript等。

需要注意的是，实际上存在一些混合型语言，它们结合了编译和解释的特性，如使用即时编译（JIT）或解释器执行编译后的中间代码。这些语言在执行效率和灵活性之间寻求一种折中方案，例如C#（使用JIT编译器执行中间语言）、Java（在JVM上执行字节码）等。