编译型与解释型

1. 编译型语言

需通过编译器（compiler）将源代码编译成机器码，之后才能执行的语言。一般需经过编译（compile）、链接（linker）这两个步骤。编译是把源代码编译成机器码，链接是把各个模块的机器码和依赖库串连起来生成可执行文件。

优点：编译器一般会有预编译的过程对代码进行优化。因为编译只做一次，运行时不需要编译，所以编译型语言的程序执行效率高。可以脱离语言环境独立运行。

缺点：编译之后如果需要修改就需要整个模块重新编译。编译的时候根据对应的运行环境生成机器码，不同的操作系统之间移植就会有问题，需要根据运行的操作系统环境编译不同的可执行文件。

代表语言：C、C++、Pascal、Object-C以及最近很火的苹果新语言swift

2. 解释型语言

解释性语言的程序不需要编译，相比编译型语言省了道工序，解释性语言在运行程序的时候才逐行翻译。

优点：有良好的平台兼容性，在任何环境中都可以运行，前提是安装了解释器（虚拟机）。灵活，修改代码的时候直接修改就可以，可以快速部署，不用停机维护。

缺点：每次运行的时候都要解释一遍，性能上不如编译型语言。

代表语言：JavaScript、Python、Erlang、PHP、Perl、Ruby

3. 混合型语言

既然编译型和解释型各有缺点就会有人想到把两种类型整合起来，取其精华去其糟粕。就出现了半编译型语言。比如C#,C#在编译的时候不是直接编译成机器码而是中间码，.NET平台提供了中间语言运行库运行中间码，中间语言运行库类似于Java虚拟机。.net在编译成IL代码后，保存在dll中，首次运行时由JIT在编译成机器码缓存在内存中，下次直接执行（博友回复指出）。我个人认为抛开一切的偏见C#是这个星球上最好的编程语言。可惜微软的政策限制了C#的推广。

Java先生成字节码再在Java虚拟机中解释执行。

严格来说混合型语言属于解释型语言。C#更接近编译型语言。

机器语言、汇编语言、高级语言

下面介绍一下这三大类语言（由于高级语言的种类较多，主要介绍高级语言，另外我们编程时也主要用高级语言）

1. 机器语言为纯粹的机器代码
   机器语言是有0，1，0，1的二进制代码组成，可以由计算机直接执行。效率最高，但是通用性不强，对于不同的硬件需要不同的程序。说白了，不适合人来编程。

2. 汇编语言为8086汇编、Win32汇编、.NET的汇编
   效率稍微低于机器语言，通过简单的助记符来替代繁琐而枯燥的0，1代码。同样的通用性不强，对于不同的硬件需要设计不同的语言。学习曲线比较大，需要硬件知识很多。介于其特殊的性质，在某些行业中得到广泛的应用。

3. 高级语言又分为Java、Basic、Pascal、Object Pascal、C、C++、C#、ASP、ASP.NET、Perl、PHP、SQL、FoRTRAN 等等（都是纯粹的编程语言）
   Visual Basic、Visual Basic.NET、Delphi、Visual C++、C++ Builder、C# Builder、Visual Foxpro 等等（都是经过发展过后的编程语言）
   通过人类可以识别的自然语言（主要是英语）来进行编程，效率再次降低，但是程序编制难度和可读性大幅提高。可移植性好，实用性较好。比较适合大规模开发，是现在大多数人选择的语言。而且Java语言和.NET平台的出现在一定程度上解决了由于平台的不同所导致的移植困难的情况。