Xrthnty

body.skin-minerva .mw-parser-output table.infobox captiontext-align:center

「编程语言」的各地常用別名
中国大陸	程序设计语言、编程语言
臺灣	程式設計語言、程式語言
港澳	程序設計語言、編程語言

编程语言（英语：programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。

最早的编程语言是在電腦發明之前產生的，當時是用來控制提花織布機（英语：Jacquard loom）及自動演奏鋼琴的動作^[1]。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。

编程语言的描述一般可以分為語法（英语：Syntax (programming languages)）及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋^[2]。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2017，而其他55語言（像Perl）有一份主要的编程语言实现（英语：Programming language implementation）文件，視為是參考實現（英语：reference implementation）。

概論

编程语言原本是被设计成专门使用在计算机上的，但它们也可以用来定义算法或者数据结构。正是因为如此，程序员才会试图使程序代码更容易阅读。

编程语言往往使程序员能够比使用机器语言更准确地表达他们所想表达的目的。对那些从事计算机科学的人来说，懂得程序设计语言是十分重要的，因为在当今所有的计算都需要程序设计语言才能完成。

目前发明了許多的编程语言，编程语言本身可能修改以符合新需求，或是和其他的编程语言結合使用，尽管人们多次试图创造可以符合所有需求的通用程式語言，但以「符合所有需求」的標準來看，這些嘗試都失敗了^{[來源請求]}。之所以有那么多种不同的编程语言存在的原因是，编写程序的初衷其实也各不相同；新手与老手之间技术的差距非常小，而且有许多语言对新手来说太容易学；还有，不同程序之间的运行成本（runtime cost）各不相同。

有许多用于特殊用途的语言，只在特殊情况下使用。例如，PHP专门用来显示网页；Perl更适合文本处理；C语言被广泛用于操作系统和编译器的开发（所谓的系统编程）。^[3]

高级语言的出现使得计算机程序设计语言不再过度地依赖某种特定的机器或环境。这是因为高级语言在不同的平台上会被编译成不同的机器语言，而不是直接被机器执行。最早出现的编程语言之一FORTRAN的一个主要目标，就是实现平台独立。

虽然大多数的语言既可被编译又可被解译，但大多数僅在一种情况下能够良好运行。在一些编程系统中，程序要经过几个阶段的编译，一般而言，后阶段的编译往往更接近机器语言。这种常用的使用技巧最早在1960年代末用于BCPL，编译程序先编译一个叫做“0代码”的转换程序（representation），然后再使用虚拟器转换到可以运行于机器上的真实代码。这种成功的技巧之后又用于Pascal和P-code，以及Smalltalk和二进制码，在很多时候，中间过渡的代码往往是解译，而不是编译的。

如果所使用的翻译的机制是将所要翻译的程序代码作为一个整体翻译，并之后运行内部格式，那么这个翻译过程就被称为编译。因此，一个编译器是一个将人可阅读的程序文本（叫做源代码）作为输入的数据，然后输出可执行文件（object code）。所输出的可执行文件可以是机器语言，由计算机的中央处理器直接运行，或者是某种模拟器的二进制代码。

如果程序代码是在运行时才即时翻译，那么这种翻译机制就被称作直譯。经直譯的程序运行速度往往比编译的程序慢，但往往更具灵活性，因为它们能够与执行环境互相作用。

特点

每一种程序设计语言可以被看作是一套包含语法、词汇和含义的正式规范。

这些规范通常包括：

• 数据和数据结构


• 指令及流程控制


• 引用机制和重用


• 设计哲学

程式語言不成文規定：

• 
  标识符（Identifier）命名常規

大多数被广泛使用或经久不衰的语言，拥有负责标准化的组织，经常会晤来创造及发布该语言的正式定义，并讨论扩展或贯彻现有的定义。

数据和数据结构

现代计算机内部的数据都只以二元方式储存，即开-关模式（on-off）。现实世界中代表信息的各种数据，例如名字、银行账号、度量以及同样低端的二元数据，都经由程序设计语言整理，成为高端的概念。

一个程序中专门处理数据的那个系统被称为程序语言的型态系统（type system）；对型态系统的研究和设计被称为型态理论（type theory）。语言可以被分为静态型态系统（statically typed systems），例如C++和Java，和动态型态系统（dynamically typed systems），例如Lisp，JavaScript，Tcl和Prolog。前者可被进一步分为包含宣告型态（manifest type）的语言，即每一个变量和函数的型态都清楚地宣告，或type-inferred语言（例如MUMPS，ML）。

大多数语言还能够在内置的型态基础上组合出复杂的数据结构型态（使用数组，列表，堆栈，文件等等）。面向对象语言（Object Oriented Language，又译作“物件导向语言”）允许程序员定义新的数据型态，即对象（objects），以及运行于该对象的函数（functions）和方法（methods）。

除了何时以及如何确定表达式和型态的联系，另外一个重要的问题就是语言到底定义了哪些型态，以及允许哪些型态作为表达式的值。诸如C编程语言之类的低端语言允许程序命名内存位置、内存区域以及编译时的常量；ANSI C甚至允许表达式返回结构值（struct values）。功能性的语言一般允许变量直接使用运行时计算出的值，而不是指出该值可能储存的内存地址。

常见的数据结构：

• 数组


• 记录


• 链表


• 堆栈


• 队列


• 树


• 图


• 堆


• 散列

指令及流程控制

一旦数据被确定，机器必须被告知如何对这些数据进行处理。较简单的指令可以使用关键字或定义好的语法结构来完成。不同的语言利用序列系统来取得或组合这些语句。除此之外，一个语言中的其他指令也可以用来控制处理的过程（例如分支、循环等）。

參照机制和重用

參照的中心思想是必须有一种间接设计储存空间的方法。最常见的方法是通过命名变量。根据不同的语言，进一步的引用可以包括指向其他储存空间的指针。还有一种类似的方法就是命名一组指令。大多数程序设计语言使用宏调用、过程调用或函数调用。使用这些代替的名字能让程序更灵活，并更具重用性。

功能

程式語言可透過機械、電腦來達成與完成人類需求的演算、功能與目的。

實體的傳輸連結

透過低階程式語言或高階程式語言，將實體間接達成傳輸連結或控制實體。

應用程式的發展

高階程式語言可發展多功能的應用程式軟體，如：作業系統、工程計算機軟體、轉檔軟體、燒錄軟體、播放軟體、網頁設計…等。

使用

程式語言已超過上千種，大部份用在計算領域^[4]。
程式語言和其他人類使用的語言在精準度和完整性上有很大的差異。

人們在用自然語言溝通時，內容可以不明確，甚至小的錯誤，而聽的人仍然可能理解說的人想要說的內容。但電腦不同，電腦「只做被告知要做的事」，無法理解程式設計者想要寫的程式。語言的定義、編程以及編程輸入的組合需完整定義程式執行時的外部特性。另一方面，演算法的概念可以表示為虛擬碼，是交織有自然語言和程式碼的程式語言，和其他人溝通時使用，此時就不一定要那麼精確。

程式語言提供定義片段資料的結構化機制，以及在資料中需自動進行的運算或是轉換。程式設計者利用程式語言提供的抽象化來表示計算的相關概念，這些概念則是由許多最簡單元素（稱為語言基元（英语：language primitive））的集合所組成^[5]。程序设计就是指利用語言基元來撰寫新的程式，或是將舊程式改寫，配合新的應用或是新的環境。

電腦程式語言可能是以批处理任务的方式執行，中間不需和使用者互動，也有可能是由用戶在直譯器中指定執行特定的的程式。若某一程式語言的是目的是在某一應用軟體（如Unix shell）或其他命令列介面執行其他程式，此程式語言會稱為脚本语言。

量測各程式語言的使用量

很難去比較哪一種程式語言的使用量最大，而且「使用量」一詞也很難定義。某一種程式語言可能需要較多的時間進行開發，另一種程式語言可能產生的程式碼較長，第三種程式語言可能在CPU中執行的時間較長。有些語言在特定的領域仍十分受歡迎，例如COBOL在公司的資料中心仍相當常用，多半是在大型計算機上執行^[6][7]，Fortran常用在科學及工程應用，C語言常用在嵌入式應用及作業系統中等。

有許多不同的量測方式不同程式語言使用的程度，不同的量測方式也有其各自的誤差：

• 計算徵才廣告中提到各程式語言的次數^[8]。


• 計算教授或描述各程式語言書籍賣出的數量^[9]。


• 佔計各程式語言目前仍在使用程式碼的長度，不過可能會低估一些公開搜尋不容易找到的程式語言^[10]。


• 利用搜尋引擎計算找到不同程式語言的次數。

根據TIOBE指數在2018年9月，十大最受歡迎的語言如下：Java、C、Python、C++、Visual Basic .NET、C#、PHP、JavaScript、SQL及Objective-C.^[11]。

历史

1940年代当计算机刚刚问世的时候，程序员必须手动控制计算机。当时的计算机十分昂贵，唯一想到利用程序设计语言来解决问题的人是德国工程师康拉德·楚澤。

几十年后，计算机的价格大幅度下跌，而计算机程序也越来越复杂。也就是说，开发时间已经远比运行时间宝贵。

于是，新的集成、可视的开发环境越来越流行。它们减少了所付出的时间、金钱（以及脑细胞）。只要轻敲几个键，一整段代码就可以使用了。这也得益于可以重用的程序代码库^[12]。

参见

参考文献

延伸閱讀

.mw-parser-output .refbeginfont-size:90%;margin-bottom:0.5em.mw-parser-output .refbegin-hanging-indents>ullist-style-type:none;margin-left:0.mw-parser-output .refbegin-hanging-indents>ul>li,.mw-parser-output .refbegin-hanging-indents>dl>ddmargin-left:0;padding-left:3.2em;text-indent:-3.2em;list-style:none.mw-parser-output .refbegin-100font-size:100%

外部链接

• 
  开放式目录计划中和Computer Programming Languages相关的内容


• 
  开放式目录计划中和程式語言相关的内容


• Syntax Patterns for Various Languages


• 计算机高级编程语言的发展历程信息图

查 论 编 编程语言分类 按平台 .NET C++/CLI C# F# IronPython IronRuby J# Visual C# VB.NET Small Basic Java Clojure Groovy Java JRuby JScheme（英语：JScheme） Jython Kawa（英语：Kawa） Kotlin Scala iOS Swift Objective-C Android Java Kotlin Fire OS（英语：Fire OS） Java Windows Phone C# 按家族 C/C++语言 C C++ Turbo C++ Borland C++ C++ Builder - C++/CLI Visual C++组件扩展 Objective-C Visual C++ BASIC语言 有行号 BASIC BASICA GW-BASIC ETBASIC GVBASIC 无行号 QBASIC QuickBASIC True BASIC Turbo BASIC PowerBASIC FreeBasic DarkBASIC Visual Basic Gambas VB.NET VBScript VBA REALbasic Small Basic Pascal/Delphi语言 Pascal Turbo Pascal Object Pascal Free Pascal Delphi Lazarus 按范式 声明式 函数式 Lisp家族 Clojure Common Lisp Lisp Racket Scheme ML家族 ML Standard ML OCaml F# Haskell Scala Erlang Elixir Clean Miranda Logo Wolfram语言(Mathematica) 逻辑式 Prolog 命令式 结构化 程序式 BASIC Fortran C Pascal Go 面向对象 Smalltalk Java C# Objective-C C++ Eiffel Python Ruby Rust Swift 非结构化 COBOL 元编程 泛型 模板 C++ D Ada C# Delphi Eiffel Java Swift Visual Basic .NET 反射化 C# ECMAScript Java Perl PHP Python R Ruby 脚本语言 Lua Perl PHP Python Ruby ASP JSP Tcl/Tk VBScript AppleScript AAuto（基于Lua） ECMAScript衍生语言 ActionScript CoffeeScript Dart DMDScript ECMAScript JavaScript JScript TypeScript Shell语言 sh bash sed awk PowerShell csh tcsh ksh zsh 专业工具语言 科学与统计计算 FORTRAN SAS MATLAB Scilab GNU Octave R S-Plus（英语：S-Plus） Wolfram 语言(Mathematica) Maple Julia GPU用着色器语言 Cg GLSL HLSL 数据库相关编程语言 xBase（英语：xBase） Clipper Visual FoxPro SQL PL/SQL T-SQL SQL/PSM（英语：SQL/PSM） LINQ XQuery（英语：XQuery） 工业与辅助设计 AutoCAD 其它 視覺化程式設計語言 Scratch LabVIEW Tynker Snap! Simulink Automator Stateflow Squeak MIT應用開發者 汇编语言 ALGOL APL/J Falcon Forth Io MUMPS（英语：MUMPS） PL/I PostScript REXX SAC Self Simula

查 论 编 计算机语言分类 架构描述语言 硬件描述语言 置标语言 建模语言 编程语言 查询语言 规约语言 样式表语言（英语：Style sheet language） 模板语言 转换语言（英语：Transformation language）

查 论 编 電腦科學的主要领域 注：该模板大致遵循ACM-2012计算分类系统。 电脑硬件 印刷电路板 外部设备 集成电路 超大规模集成电路 绿色计算 電子設計自動化 系统架构组织 電腦系統架構 嵌入式系统 实时计算 网络 网络传输协议 路由 网络拓扑 网络服务 软件组织 直譯器 中间件 虛擬機器 操作系统 软件质量 软件符号和工具 编程范型 编程语言 編譯器 领域特定语言 軟體框架 集成开发环境 软件配置管理 函式庫 软件开发 软件开发过程 需求分析 软件设计 软件部署 軟體維護 开源模式 计算理论 自动机 可计算性理论 计算复杂性理论 量子计算 数值计算方法 计算机逻辑 形式语义学 算法 算法分析 算法设计 随机化算法 计算几何 计算数学 离散数学 概率 统计学 数学软件 数理逻辑 集合论 数论 图论 类型论 范畴论 信息论 数值分析 数学分析 信息系统 数据库管理系统 電腦數據 企业信息系统（英语：Enterprise information system） 社会性软件 地理信息系统 决策支持系统 过程控制 数据挖掘 數位圖書館 系统平台 數位行銷 万维网 信息檢索 安全 密码学 形式化方法 入侵检测系统 网络安全 信息安全 人机交互 计算机辅助功能 用户界面 可穿戴计算机 普适计算 虚拟现实 聊天機器人 并发性 并发计算 并行计算 分布式计算 多线程 多元處理 人工智能 自动推理 计算语言学 计算机视觉 进化计算 专家系统 自然语言处理 机器人学 机器学习 監督式學習 非監督式學習 强化学习 交叉驗證 计算机图形学 计算机动画 可视化 渲染 修飾照片 圖形處理器 混合现实 虚拟现实 图像处理 图像压缩 实体造型 应用计算 电子商务 企业级软件 计算数学 计算物理学 计算化学 计算生物学 計算社會科學 医学信息学 数字艺术 電子出版 網絡戰 电子游戏 文字处理器 運籌學 教育技术学 生物信息学 认知科学 文件管理系统（英语：Document management system） 分类 主题 专题 维基共享

规范控制 BNF: cb13318353n (data) GND: 4047409-4 LCCN: sh85107313 NDL: 00569224