各个语言的特性

强类型和弱类型

强类型strong typed ：不可能出现Forbidden Behaviours即不会在程序出错后继续执行，如缓冲区溢出，一般偏向于不容许隐式类型转换。典型语言为java，python。
弱类型weakly typed：允许隐式类型转化，典型语言为c/c++，php。

动态类型和静态类型

静态类型staticlly typed：在声明一个变量后其类型了就不能改变它的类型。其大部分需要编译器来生成二进制文件（java特殊，貌似也可以解释执行）。典型语言为c/c++。
动态类型dynamiclly typed：在声明一个变量后仍能修改它的类型，由于动态语言的特性，其运行时一般需要解释器，所以动态类型的语言也是解释性语言。而解释性语言不需要编译，所以也称为脚本语言。典型语言为python，matlab，shell，php。