静态语言和动态语言的区别

今天在群里聊天的时候，谈论到python和Java相比居然不用定义变量类型。我心血来潮就去百度了一番动态语言和静态语言的具体区别，一番百度才发现自己原来的想法不够全面，所以在这里做个笔记。

基本概念

• 动态类型语言：在运行期进行类型检查的语言，也就是在编写代码的时候可以不指定变量的数据类型，比如Python和Ruby
• 静态类型语言：它的数据类型是在编译期进行检查的，也就是说变量在使用前要声明变量的数据类型，这样的好处是把类型检查放在编译期，提前检查可能出现的类型错误，典型代表C/C++和Java
• 强类型语言，一个变量不经过强制转换，它永远是这个数据类型，不允许隐式的类型转换。举个例子：如果你定义了一个double类型变量a,不经过强制类型转换那么程序int b = a无法通过编译。典型代表是Java。
• 弱类型语言：它与强类型语言定义相反,允许编译器进行隐式的类型转换，典型代表C/C++。

如果所有程序都是灰的，strongly typed
否则如果存在红色的程序，weakly typed
编译时排除红色程序，statically typed
运行时排除红色程序，dynamically typed

总结

上一个图就很清晰了