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

== 分类:编程语言 ==

编程语言是计算机科学中用于与计算机系统通信的形式语言，它允许程序员编写指令，使计算机执行特定任务。编程语言是一种通信系统，允许程序员向机器和计算机提供特定指令，以便它们执行必要的操作来实现特定目标 :antCitation[]{citations="9677cf40-ac4a-4133-98b2-8b01615ac14f"}。随着计算机技术的发展，人们已经开发出了上千种不同的编程语言，用于不同的应用场景 :antCitation[]{citations="7334d313-5e4a-4f75-a465-18eba51dfc66"}。

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

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

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

编程范式(Programming Paradigm)描述的是一种编程风格，或者一种解决问题的方法和态度 :antCitation[]{citations="da7892dc-f3f4-41a9-8030-2bf51b34d60a"}。编程语言通常被分为四个主要类别：命令式、函数式、逻辑式和面向对象式 :antCitation[]{citations="5e9d4a44-ff78-4e03-a07d-550fdcdef10f"}。

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

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

编程语言可按照使用用途划分为通用型编程语言(General Purpose Programming Language)和非通用型编程语言 :antCitation[]{citations="70a03bc1-6dca-4a85-89fe-804a25e7434f"}。

* '''通用型编程语言''': 可用于开发多种类型的应用程序
** 例如：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编程语言流行度指数]