静态语言和动态语言
先举个例子，C语言：
float pi = 3.14159265;
JavaScript：
var str = "hello";
alert(str);//第一行之后，str就是是一个String类型了
比较这两个方式。在C语言中，我们用float关键字定义了变量 pi，而JS并未使用这样的方式。
C语言是一种静态类型，在声明期 | 编译期就给定了变量的类型；在静态类型语言中，类型是从属于变量（变量改变类型需要类型声明改变）。从声明那一刻开始，变量只能被分配声明类型的数据（给定的数据类型 | 类型转换后的data）。那既然有这样的需求，静态语言会有一个编译期用于类型检测，这样就会产生编译期和运行期两个时期。
一些常见的静态类型语言： C++, C#, Java, Basic, Pascal, Ada 和 Fortran。
JavaScript语言是一种动态类型，变量类型可以在运行期间改变；在动态类型语言中，类型是从属于数据（数据类型改变影响了类型改变）。变量名只是指向了数据，他们可以在任何时刻指向任何类型的数据。既然不需要类型检测，那么，也就不需要区分编译期和运行期。
一些常见的动态类型语言： 大部分脚本语言和快速原型开发语言，例如，Javascript, Lisp, PHP, Python, Ruby, Scheme 等等。
强类型与弱类型
强弱类型的概念没有动态和静态类型语言的区分那么清晰。一个最常见的定义方式：是否允许不相同类型之间的操作。
例如，JS操作：
var num = 123;
num = num + 'str';//结果123str，JS可以不用在意不同类型的变量之间进行操作
Java操作
int num = 123;
num = num +'str';//异常，Java不允许不同类型之间的变量进行操作
JS会隐式转换数字num为字符串，然后得出字符串结果。而Java不允许这样的转换（ClassCastException），因为这是一种过于灵活的表现。
弱类型允许这样的快速开发，而强类型会在编译期捕获这种隐含的错误。强类型需要程序员关注类型转换，而弱类型更多的是通过大量的隐式（自动）转换完成了这些操作。
P.S.
一般来说，静态类型由于需要编译期进行类型检测。正常来讲，静态类型应该都是强类型，即不允许不同类型之间可以进行操作。而C和Basic语言却是特殊的不是强类型的静态类型语言。
因为，C语言中，对于Char字符的操作，实际隐式转化为int进行操作，那么，这样的话，打破了强类型的规则。
安全类型和不安全类型
如何定义安全这个概念？对于异常进行捕获，将会导致程序停止，但是，如果不捕获异常，就会出现各种奇怪的行为。所以，安全类型会让语言在编译期捕获隐藏的异常，对于动态语言，将会在运行期捕获这些异常。
这里有一个误区：弱类型的语言缺乏安全性。这个概念是不对的，相反的，由于弱类型会把检测操作放在运行期，运行期检测有一个好处，所有的信息都处于待运行状态并且都可被获取，使得安全检测可以被更彻底的执行。
例如：C语言中的指针被认为是一种不安全的类型，而索引则被认为是一种安全的类型。
各语言分类
| Language | Static / Dynamic | Strong / Weak | Safety |
|---|---|---|---|
| Ada | static | strong | safe |
| C | static | weak | unsafe |
| C++ | static | strong | unsafe |
| Java | static | strong | safe |
| Javascript | dynamic | weak | safe |
| Lisp | dynamic | strong | safe |
| Pascal | static | strong | safe |
| Perl | dynamic | weak | safe |
| PHP | dynamic | weak | safe |
| Python | dynamic | strong | safe |
| Ruby | dynamic | strong | safe |
综述
强弱类型 和 动静态语言区别：
这两个概念是有区别的，强弱类型的本质是是否允许不同类型之间进行操作，例如：
//JavaScript
var i = 1;//i 是number类型，数字
i = i + "abc"//不会报异常，结果为"1abc"
弱类型隐式转换了变量类型。
再如：
//Python
a = 1;//a是一个数字类型
a = a+"abc"//异常，不允许数字和字符串进行 "+"操作
python是一个强类型语言，不允许不同类型的变量之间的操作。
这里强调一下，我一直以为，Python是动态的语言，所以一定是弱类型语言，但是其实Python是动态的强类型语言。所以说这两个概念是有区别的：强类型不允许不同类型之间的变量有操作。动态型使得变量的类型是由数据的类型所决定，而不是由关键字。
动静态语言是由变量的初始化方式所决定。
//Java
int a = 1;//整型
float b = 1.0;//浮点型
变量的定义是关键字定义的。
//JavaScript
var str = 'abc';//字符串类型
str = 123;//number类型
变量的类型是由数据的类型所定义的。
参考：http://eli.thegreenplace.net/2006/11/25/a-taxonomy-of-typing-systems