[转]弱类型、强类型、动态类型、静态类型、编译型和解释型语言的区别

弱类型&强类型：指的是语言类型系统的类型检查的严格程度。

　　弱类型相对于强类型来说类型检查更不严格，比如说允许变量类型的隐式转换，允许强制类型转换等等。强类型语言一般不允许这么做。

动态类型&静态类型：指的是变量与类型的绑定方法

　　静态类型指的是编译器在compile time执行类型检查，动态类型指的是编译器（虚拟机）在runtime执行类型检查。简单地说，在声明了一个变量之后，不能改变它的类型的语言，是静态语言；能够随时改变它的类型的语言，是动态语言。因为动态语言的特性，一般需要运行时虚拟机支持。

编译型语言&解释型语言：

        执行效率：编译型语言的程序直接运行的是机器语言的可执行文件，而解释型语言的程序是一边翻译一边执行，所以默认情况下，相对于程序的执行效率而言，编译型语言较好。
跨平台，移植性：我们所说的跨平台，是指源代码跨平台，而不是解释器跨平台。解释器用来将源代码转换成机器码，它就是一个可执行程序，是绝对不能跨平台的。官方需要针对不同的平台开发不同的解释器，这些解释器必须要能够遵守同样的语法，识别同样的函数，完成同样的功能，只有这样，同样的代码在不同平台的执行结果才是相同的。解释型语言之所以能够跨平台，是因为有了解释器这个中间层。在不同的平台下，解释器会将相同的源代码转换成不同的机器码，解释器帮助我们屏蔽了不同平台之间的差异。

转载与引用: 弱类型、强类型、动态类型、静态类型语言的区别是什么？ - 天道酬勤情 - 博客园

编译型语言、解释型语言、静态类型语言、动态类型语言概念与区别 - 挽弓挽长 - 博客园

弱类型、强类型、动态类型、静态类型语言的区别是什么？ - 知乎

编译型语言和解释型语言