什么是静态语言和动态语言

动态语言，准确地说，是指程序在运行时可以改变其结构：新的函数可以被引进，已有的函数可以被删除等在结构上的变化。比如众所周知的ECMAScript(JavaScript)便是一个动态语言。除此之外如Ruby、Python等也都属于动态语言，而C、C++等语言则不属于动态语言。

所谓的动态类型语言，意思就是类型的检查是在运行时做的，比如如下代码是不是合法的要到运行时才判断（注意是运行时的类型判断）：

而静态类型语言的类型判断是在运行前判断（如编译阶段），比如C#就是一个静态类型语言，静态类型语言为了达到多态会采取一些类型鉴别手段，如继承、接口，而动态类型语言却不需要，所以一般动态语言都会采用dynamic typing，常出现于脚本语言中。（idior不知道这能不能回答你对动态语言多态的疑问^_^）

这里我需要明确说明一点，那就是，是不是动态类型语言与这门语言是不是类型安全的完全不相干的，不要将它们联系在一起！

静态类型语言的主要优点在于其结构非常规范，便于调试，方便类型安全；缺点是为此需要写更多的类型相关代码，导致不便于阅读、不清晰明了。动态类型语言的优点在于方便阅读，不需要写非常多的类型相关的代码；缺点自然就是不方便调试，命名不规范时会造成读不懂，不利于理解等。顺便说一下，现在有这样一种趋势，那就是合并动态类型与静态类型在一种语言中，这样可以在必要的时候取长补短，Boo就是一个很好的试验性例子。^_^

最后说一下Boo，Boo是一个静态类型语言，虽然用duck typing可以模拟dynamic typing，但是duck并不支持所有类型的操作替代，所以即使完全使用duck typing也不能达到dynamic typing。就像FantasySoft所述，Type Inference不是动态类型语言的特性，所以支持Type Inference不代表这门语言就是dynamically typed。

再特地为Ninputer这个VB的fans说一下VB.NET^_^，VB.NET是dynamically typed语言。

Q:

Q: What is strong-typing versus weak-typing Which is preferred, Why

要注意是强类型和弱类型，很多人容易将此与静态语言和动态语言的混淆。静态语言在运行时检查变量类型，动态语言在运行时检查变量类型。但这不是强类型和弱类型的区别。

弱类型语言允许将一块内存看做多种类型。比如直接将整型变量与字符变量相加。C and C++ 是静态语言，也是弱类型语言；Perl and PHP 是动态语言，但也是弱类型语言。

强类型语言在没有强制类型转化前，不允许两种不同类型的变量相互操作。Java、C# 和 Python 等都是强类型语言。

也有许多大型的系统是用动态类型语言编写的，编译器捕获类型错误只能捕获很小比例的错误。加强软件测试才能产出更加可靠的系统，这无关何种类型语言的使用。

尽管如此，使用哪种语言还是要按需而定。个人观点是，编写简单小应用，使用弱类型语言可节省很多代码量，有更高的开发效率。而对于构建大型项目，使用强类型语言可能会比使用弱类型更加规范可靠。

 

 

 

静态类型定义语言
     一种在编译时，数据类型是固定的语言。大多数静态类型定义语言强制这一
点，它要求你在使用所有变量之前要声明它们的数据类型。Java和C是静态类型定
义语言。

动态类型定义语言
     一种在执行期间才去发现数据类型的语言，与静态类型定义相反。VBScript
和Python是动态类型定义的，因为它们是在第一次给一个变量赋值的时候找出它的
类型的。

强类型定义语言
     一种总是强制类型定义的语言。Java和Python是强制类型定义的。如果你有
一个整数，如果不显示地进行转换，你不能将其视为一个字符串（在本章后面会有
更多如何去做的内容）。

弱类型定义语言
     一种类型可以被忽略的语言，与强类型定义相反。VBScript是弱类型定义
的。在VBScript中，可以将字符串 '12' 和整数 3 进行连接得到字符串 '123'，
然后可以把它看成整数 123，而不需要显示转换。

 

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/mikel/archive/2007/06/13/1649941.aspx