关于编程语言的静态类型、动态类型、编译型以及解释型的区别

学习Go语言时，看到解释说Go语言是一种静态类型，编译型的语言。特意去了解了一下什么是静态类型，什么是编译型，与之对应的又是什么。作为记录写下这篇博客，以下纯粹个人粗浅的理解，若有理解错误之处，请指出，谢谢。

静态类型和动态类型的区别

编译型和解释性的区别

Java语言是静态类型还是动态类型 是编译型还是解释型

1. 静态类型和动态类型的区别

个人理解这种区别主要是类型检查（Type Check）发生的时机不同，即可以通过判断语言是在什么时候检查类型错误来判断其所属的类型。

静态类型： 编译时即知道每一个变量的类型，因此，若存在类型错误编译是无法通过的。

动态类型： 编译时不知道每一个变量的类型，因此，若存在类型错误会在运行时发生错误。

Go语言的类型检查发生在编译时，因此它是静态类型的。

2. 编译型和解释性的区别

个人理解无论是编译型还是解释性，其本质都是将高级语言（Java，C, Python等）翻译成机器能理解和运行的语言 。这种区别主要是翻译发生的时机不同。

编译型： 翻译发生在程序运行之前，将高级语言翻译成机器语言。再次运行时，可直接使用上一次翻译好的机器码，不需要重新编译。

解释型： 翻译发生在程序运行时，即边翻译边运行。再次运行时，需要重新进行翻译。

Go语言可以直接编译成可执行文件 ， 如Window系统下，可以直接编译成.exe文件。因此是编译型语言。

3. Java语言是静态类型还是动态类型？ 是编译型还是解释型？

Java语言的类型检查发生在编译时，因此个人认为 Java语言是一种静态类型。

Java语言首先通过编译器，得到.class文件，然后其虚拟机对.class文件进行逐条解释执行。因此我我认为Java本质上一种解释型的语言， 但是需要先经过编译器生成.class，为什么要这样做，个人认为是为了Java的跨平台特性。与Java不同的是，有些语言是直接翻译成机器码的（比如C#），这种是典型的编译型。