（一）编译型和解释型
计算机不能直接理解高级语言，只能直接理解机器语言，所以必须要把高级语言翻译成机器语言，计算机才能执行高级语言编写的程序。翻译的方式有两种，一个是编译，一个是解释。
编译型语言写的程序执行之前，已经把程序编译好了，比如exe文件，以后要运行的话就不用重新翻译了，直接使用编译的结果就行了（exe文件），因为翻译只做了一次，运行时不需要翻译，所以编译型语言的程序执行效率高。
解释性语言的程序在运行程序的时候才翻译，边运行边翻译。这样解释性语言每执行一次就要翻译一次，效率比较低。
用一个例子类比下，比如一个人读一本外语书，他可以选择直接读别人翻译好的（编译型），或者让别人一句句读给他听（解释型）。翻译好的译文随时可以再读，请别人读每个章节都需要重新读一次。
（二）动态语言和静态语言
动态类型语言：在运行期间检查数据的类型的语言。用这类语言编程，不会给变量指定类型，而是在附值时得到数据类型。
静态类型语言：相反静态类型语言是在运行前编译时检查类型。在写代码时，没声明一个变量必须指定类型。
动态类型语言如JS
function add(a,b){
return a+b;
}
add(1,2);
add('1',2);
静态类型语言如C、C++、Java、C#等
public int add(int a,int b){
return a+b;
}
（三）强类型定义语言和弱类型定义语言
强类型定义语言：强制数据类型定义的语言。也就是说，一旦一个变量被指定了某个数据类型，如果不经过强制转换，那么它就永远是这个数据类型了。举个例子：如果你定义了一个整型变量a,那么程序根本不可能将a当作字符串类型处理。强类型定义语言是类型安全的语言，如Java。
弱类型定义语言：数据类型可以被忽略的语言。它与强类型定义语言相反, 一个变量可以赋不同数据类型的值，如JS。