你必须知道的编程语言分类

我们习惯把编程语言分类为机器语言（汇编语言）和高级语言（Fortran/Lisp/Cobol/Basic/C/Pascal /C++/Java/Perl/Python），选择使用高级语言编程而不是机器语言相信大家都能说出一两个理由（比汇编语言更容易和更清晰的表达性、多平台的可移植性，但需要一个专用的编译器或者是解释器）。

但网络上却没有一个指导你选择哪种高级语言作为你首要学习的语言，“你使用什么语言并不重要，重要的是你对问题是否有正确的理解，代码以外的东西才是关键”，保持这种观点的程序员不在少数，要么是他们的无知，因为各种语言简直有天壤之别，要么是夸夸其谈.

当然安全的做法是随大流，市场上流行什么语言你就学什么语言，那你是不是会为语言的不断演变而疲于奔命，虽然主流语言的变动不会像硬件变更那么频繁，但一旦你放弃自己熟悉的那种语言转向你一向鄙视的某种高级语言的时候，你肯定是不好受的吧。

我们先来看黑客（又称技术大牛们）选择什么语言，他们不随大流，会拒绝平庸，他们甚至会因为对现有可用语言的不满而自己设计一种语言（基于他们对语言编程能力本质的理解，语言的优势、函数库的功能） 选择主流编程语言可能是我们安全的选择，毕竟我们不是黑客大牛，但作为致力于成为黑客的程序员必须知道：不同语言的编程能力是不一样的。另：印象中国内大的技术网站javaeye是使用ruby开发，并且只有2-3个程序员维护，可见ruby语言的强大。

附：

语言的分类1: 程序设计语言的类型：

1.命令式语言。这种语言的语义基础是模拟“数据存储/数据操作”的图灵机可计算模型，十分符合现代计算机体系结构的自然实现方式。其中产生操作的主要途径是依赖语句或命令产生的副作用。现代流行的大多数语言都是这一类型，比如 Fortran、Pascal、Cobol、C、C++、Basic、Ada、Java、C# 等，各种脚本语言也被看作是此种类型。

2.函数式语言。这种语言的语义基础是基于数学函数概念的值映射的λ算子可计算模型。这种语言非常适合于进行人工智能等工作的计算。典型的函数式语言如 Lisp、Haskell、ML、Scheme 等。

3.逻辑式语言。这种语言的语义基础是基于一组已知规则的形式逻辑系统。这种语言主要用在专家系统的实现中。最著名的逻辑式语言是 Prolog。

语言的分类2:

1、动态语言和静态语言 通常我们所说的动态语言、静态语言是指动态类型语言和静态类型语言。

（1）动态类型语言：动态类型语言是指在运行期间才去做数据类型检查的语言，也就是说，在用动态类型的语言编程时，永远也不用给任何变量指定数据类型，该语言会在你第一次赋值给变量时，在内部将数据类型记录下来。Python和Ruby就是一种典型的动态类型语言，其他的各种脚本语言如VBScript也多少属于动态类型语言。

（2）静态类型语言：静态类型语言与动态类型语言刚好相反，它的数据类型是在编译其间检查的，也就是说在写程序时要声明所有变量的数据类型，C/C++是静态类型语言的典型代表，其他的静态类型语言还有C#、JAVA等。

对于动态语言与静态语言的区分，套用一句流行的话就是：Static typing when possible, dynamic typing when needed。

2、强类型定义语言和弱类型定义语言

（1）强类型定义语言：强制数据类型定义的语言。也就是说，一旦一个变量被指定了某个数据类型，如果不经过强制转换，那么它就永远是这个数据类型了。举个例子：如果你定义了一个整型变量a,那么程序根本不可能将a当作字符串类型处理。强类型定义语言是类型安全的语言。

（2）弱类型定义语言：数据类型可以被忽略的语言。它与强类型定义语言相反, 一个变量可以赋不同数据类型的值。

强类型定义语言在速度上可能略逊色于弱类型定义语言，但是强类型定义语言带来的严谨性能够有效的避免许多错误。另外，“这门语言是不是动态语言”与“这门语言是否类型安全”之间是完全没有联系的！

例如：Python是动态语言，是强类型定义语言（类型安全的语言）; VBScript是动态语言，是弱类型定义语言（类型不安全的语言）; JAVA是静态语言，是强类型定义语言（类型安全的语言）。