静态型语言:
定义:编译时检查数据类型，即写程序时要声明所有变量的数据类型。
代表语言：GO，JAVA，C，C++
动态型语言：
定义：运行时检查数据类型，即写程序时不需要声明变量的数据类型，它会在赋值的时候将变量的数据类型保存下来
代表语言：PHP，JS，Python
编译型语言：
定义：使用专门的编译器，针对特定的平台，将高级语言源代码一次性的编译成可被该平台硬件执行的机器码，并包装成该平台所能识别的可执行性程序的格式
代表语言：GO，JAVA，C，C++
解释型语言:
定义：不需要事先编译，而是直接将源代码解释成机器码并立即执行（边运行边解释），所以只要平台提供了相应的解释器即可运行该程序
代表语言：PHP，JS，Python