编辑“︁分类:编程语言”︁

== 分类:编程语言 ==

编程语言是计算机科学中用于与计算机系统通信的形式语言，它允许程序员编写指令，使计算机执行特定任务。编程语言是一种通信系统，允许程序员向机器和计算机提供特定指令，以便它们执行必要的操作来实现特定目标。随着计算机技术的发展，人们已经开发出了上千种不同的编程语言，用于不同的应用场景。

=== 主要分类方法 ===

==== 按抽象级别分类 ====
* '''低级语言''': 与硬件关系密切，抽象程度低
** 机器语言：直接由计算机执行的二进制代码
** 汇编语言：使用助记符表示的低级语言，需要通过汇编器转换为机器语言
* '''中级语言''': 结合了低级和高级语言的特点
** 例如：[[C]]语言
* '''高级语言''': 抽象程度高，更接近人类思维和自然语言
** 例如：[[Python]], [[Java]], [[JavaScript]]等

==== 按编程范式分类 ====

[[编程范式]](Programming Paradigm)描述的是一种编程风格，或者一种解决问题的方法和态度。编程语言通常被分为四个主要类别：命令式、函数式、逻辑式和面向对象式。

* '''命令式编程语言''': 通过详细描述算法步骤来解决问题
** 例如：[[C]], [[Pascal]], [[BASIC]]
* '''声明式编程语言''': 描述问题的性质而非解决步骤
** '''函数式编程语言''': 通过函数应用和函数组合来构建程序
*** 例如：[[Haskell]], [[Lisp]], [[Scala]]
** '''逻辑式编程语言''': 基于形式逻辑，程序由事实和规则组成
*** 例如：[[Prolog]], [[Datalog]]
* '''面向对象编程语言''': 基于对象概念，包含数据抽象、继承和动态分派特性
** 例如：[[Java]], [[C++]], [[Python]], [[Ruby]]

==== 按用途分类 ====

编程语言可按照使用用途划分为[[通用型编程语言]](General Purpose Programming Language)和[[非通用型编程语言]]。

* '''通用型编程语言''': 可用于开发多种类型的应用程序
** 例如：[[C++]], [[Java]], [[Python]]
* '''领域特定语言''': 专为特定应用领域设计
** 例如：[[SQL]](数据库), [[MATLAB]](科学计算), [[R]](统计学), [[TeX]](文档排版)

==== 其他分类方式 ====

* '''按执行方式分类'''
** 编译型语言：需要先完全编译成机器码才能执行（如[[C++]], [[Fortran]]）
** 解释型语言：边解释边执行（如[[Python]], [[JavaScript]]）
** 混合型语言：结合编译和解释两种方式（如[[Java]]）

* '''按类型系统分类'''
** 强类型语言：强制类型检查（如[[Java]], [[Haskell]]）
** 弱类型语言：类型检查相对宽松（如[[JavaScript]]）
** 静态类型语言：变量类型在编译时确定（如[[C++]], [[Java]]）
** 动态类型语言：变量类型在运行时确定（如[[Python]], [[Ruby]]）

=== 相关分类 ===
* [[分类:编程范式]]
* [[分类:面向对象编程语言]]
* [[分类:函数式编程语言]]
* [[分类:命令式编程语言]]
* [[分类:逻辑式编程语言]]
* [[分类:领域特定语言]]

=== 参考资料 ===
* [https://en.wikipedia.org/wiki/Programming_language 编程语言 - 维基百科]
* [https://en.wikipedia.org/wiki/List_of_programming_languages_by_type 按类型列出的编程语言列表 - 维基百科]
* [https://www.tiobe.com/tiobe-index/ TIOBE编程语言流行度指数]