编程语言浅述

根据项目特点不同，需考虑多种因素进行编程语言的选择。下面列举了一些更值得注意的地方。

    1. 编译型、解释型、运行时编译型

    (1) 编译型语言

    编译型语言被编译器转换为目标机器语言。其可以产出非常高效的可执行代码，尤其是当编译器对代码进行有效地优化后。但是这种可执行代码的可移植性可能不太好，而且编译过程可能很耗时。

    (2) 解释型语言

    解释型语言由解释器解释和执行。一方面，解释型语言同解释器一样具有可移植性，并且不需要太长的编译过程。另一方面，解释型语言通常要比同等大小的编译型程序慢得多。

    (3) 运行时编译型语言

    运行时编译型语言在程序需要执行时能很快地进行编译（通常很少优化），在性能和可移植性之间提供了一种平衡。

    2. 高级语言、低级语言

    高级或低级指的是编程语言反映底层系统的多少。换句话说，编程语言的级别是指这种语言与计算机语言之间的相似度。编程语言级别越高，相似度越小。

    低级语言一般与机器代码很相似，因此适合用于真正跟硬件打交道的程序，像设备驱动或者有较高性能要求的程序。一般低级语言特指机器代码本身或者汇编语言。由于低级语言受制于它所接触的硬件，因而用低级语言编写的程序可移植性很差。低级语言一般不会被解释。

    高级语言更关注容易被人类理解的概念，如对象或者数学函数。高级语言通常比低级语言更易理解，并且通常需要花费更少的时间来开发程序。作为一种权衡，通常需要牺牲对程序最终实现的控制。但是，在一种语言中将高级语言和低级语言混合在一起并不是不可能。

    3. 类型系统

    类型系统是指一种语言中不同类型的变量所需要遵守的规则。这里不包括无类型区别的语言（包括大多数的汇编语言）。

    (1) 类型强度：强或弱

    在不需要转换语句的情况下，强类型系统会对不同类型变量间的相关转换进行限制。一种理想的强类型系统禁止将隐式转换“casts”用于没任何意义的类型转换上，比如整数到Fruit对象。但弱类型系统会试着利用某种途径进行相关类型转换。

    (2) 类型表达：显式或推断

    这主要是指编译器/解释器如何知道变量的类型。很多语言需要显式定义变量类型，因此依赖于显式类型。但是，有些编译器/解释器将根据变量内容推断变量类型，因此依赖于推断表达。

    (3)类型检查：静态或者动态

     如果一种语言是静态类型的，那么编译器/解释器在程序运行前/编译前进行类型检查。如果一种语言是动态类型检查的，那么将在运行时进行类型检查。

    (4) 类型安全性：安全或者非安全

    这主要是指编程语言对可能导致未定义行为或者错误的类型变量的操作限制度。安全语言将采取更多措施保证这样的操作或转换不会发生。同样地，非安全语言将对用户带来更多的责任。

    4.支持的编程范式

    (1) 声明式编程语言

    (2) 函数式编程语言

    (3) 泛型编程语言

    (4) 命令式编程语言

    (5) 结构化编程语言

    (6) 程序化编程语言

    (7) 面向对象编程语言