目录
宣告式編程
宣告式編程（Declarative programming）是一種编程范式，与指令式編程相對立。它描述目標的性質，讓電腦明白目標，而非流程。声明式编程不用告诉电脑问题领域，从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。 声明式编程通常被看做是形式逻辑的理论，把计算看做推导。声明式编程因大幅简化了并行计算的编写难度，自2009起备受关注。 声明式语言包括数据库查询语言（SQL，XQuery），正则表达式，逻辑编程，函数式编程和组态管理系统。 宣告式編程透過函數、推論規則或项重写（term-rewriting）規則，來描述變數之間的關係。它的語言執行器（編譯器或解释器）採用了一個固定的算法，以從這些關係產生結果。 宣告式編程語言通常用作解決人工智能和約束滿足問題。.
查看 指令式編程和宣告式編程
编程语言
编程语言（programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2011，而其他55語言（像Perl）有一份主要的文件，視為是。.
查看 指令式編程和编程语言
编程范型
编--程范型、编--程范式或程式--設計法（Programming paradigm），（範即模範、典範之意，範式即模式、方法），是一类典型的编程风格，是指从事软件工程的一类典型的风格（可以对照方法学）。如：函數式編程、程序編程、面向对象编程、指令式编程等等為不同的编程范型。 编程范型提供了（同时决定了）程序员对程序执行的看法。例如，在面向对象编程中，程序员认为程序是一系列相互作用的对象，而在函数式编程中一个程序会被看作是一个无状态的函数计算的序列。 正如软件工程中不同的群体会提倡不同的「方法学」一样，不同的编程语言也会提倡不同的「编程范型」。一些语言是专门为某个特定的范型设计的（如Smalltalk和Java支持面向对象编程，而Haskell和Scheme则支持函数式编程），同时还有另一些语言支持多种范型（如Ruby、Common Lisp、Python和Oz）。 很多编程范型已经被熟知他们禁止使用哪些技术，同时允许使用哪些。例如，纯粹的函数式编程不允许有副作用；结构化编程不允许使用goto。可能是因为这个原因，新的范型常常被那些习惯于较早的风格的人认为是教条主义或过分严格。然而，这样避免某些技术反而更加证明了关于程序正确性——或仅仅是理解它的行为——的法则，而不用限制程序语言的一般性。 编程范型和编程语言之间的关系可能十分复杂，由于一个编程语言可以支持多种范型。例如，C++设计时，支持过程化编程、面向对象编程以及泛型编程。然而，设计师和程序员们要考虑如何使用这些范型元素来构建一个程序。一个人可以用C++写出一个完全过程化的程序，另一个人也可以用C++写出一个纯粹的面向对象程序，甚至还有人可以写出杂揉了两种范型的程序。.
查看 指令式編程和编程范型
面向对象程序设计
面向对象程序设计（Object-oriented programming，缩写：OOP）是種具有物件概念的程式編程典範，同时也是一种程序开发的抽象方针。它可能包含資料、、程式碼與方法。对象則指的是类的实例。它将对象作为程序的基本单元，将程序和数据封装其中，以提高软件的重用性、灵活性和扩展性，物件裡的程序可以訪問及經常修改物件相關連的資料。在物件導向程式編程裡，電腦程式會被設計成彼此相關的物件。 面向对象程序设计可以看作一种在程序中包含各种独立而又互相调用的对象的思想，这与传统的思想刚好相反：传统的程序设计主张将程序看作一系列函数的集合，或者直接就是一系列对电脑下达的指令。面向对象程序设计中的每一个对象都应该能够接受数据、处理数据并将数据传达给其它对象，因此它们都可以被看作一个小型的“机器”，即对象。目前已经被证实的是，面向对象程序设计推广了程序的灵活性和可维护性，并且在大型项目设计中广为应用。此外，支持者声称面向对象程序设计要比以往的做法更加便于学习，因为它能够让人们更简单地设计并维护程序，使得程序更加便于分析、设计、理解。反对者在某些领域对此予以否认。 当我们提到面向对象的时候，它不仅指一种程序设计方法。它更多意义上是一种程序开发方式。在这一方面，我们必须了解更多关于面向对象系统分析和面向对象设计（Object Oriented Design，简称OOD）方面的知识。許多流行的程式語言是物件導向的,它們的風格就是會透由物件來創出實例。 重要的物件導向程式語言包含Common Lisp、Python、C++、Objective-C、Smalltalk、Delphi、Java、Swift、C#、Perl、Ruby 與 PHP等。.
高级语言
高级编程语言（High-level programming language）是高度封装了的编程语言，与低级语言相对。它是以人類的日常語言為基礎的一種編程語言，使用一般人易於接受的文字來表示，使程序編寫員編寫更容易，亦有較高的可讀性，以方便對電腦認知較淺的人亦可以大概明白其內容。由於早期電腦業的發展主要在美國，因此一般的高階語言都是以英語為藍本。在1980年代，當東亞地區開始使用電腦時，在日本、台灣及中國大陸都曾嘗試開發用各自地方語言編寫的高級語言，當中主要都是改編BASIC或專用於數據庫資料存取的語言，但是隨着編程者的外語能力提升，現時的有關開發很少。 G.
查看 指令式編程和高级语言
變數
在初等數學裡，變數或變元、元是一個用來表示值的符號，該值可以是隨意的，也可能是未指定或未定的。在代數運算時，將變數當作明確的數值代入運算中，可以於單次運算時解出多個問題。一個典型的例子為一元二次公式，該公式可以解出每個一元二次方程的值，只需要將方程的系數代入公式中的變數即可。 變數這個概念在微積分中非常重要。一般，一個函數y.
查看 指令式編程和變數
Fortran
福傳（Fortran），源自於「公式翻译」（Formula Translation）的縮寫，是一種程式語言。1957年由IBM開發出，是世界上第一个被正式采用並流传至今的高级编程語言。.
Goto
GOTO是一条可以在许多计算机编程语言中找到的语句。它是英文单词go和to的组合。当执行这条语句的时候，它将控制流程无条件地转到另一条语句（也叫「跳转」）。跳转语句需要指明標記，在不同语言中，標記可以是标识符或行号。在机器码级别，goto是一种分支的形式。 在一些语言中，可以不用显示地使用goto关键字而实现同样的功能，例如break或continue关键字可以跟随一个标识符。SNOBOL语言支持一种语句的后缀形式，可以在本条语句执行完毕后实现无条件跳转。 GOTO语句被大部分高级语言支持，只有很少的高级语言不支持GOTO语句。例如，goto是一个Java语言的保留字，但是不允许使用。.
查看 指令式編程和Goto
控制流程
控制流程（也稱為流程控制）是電腦運算領域的用語，意指在程式執行時，個別的指令（或是陳述、子程序）執行或求值的順序。不論是在宣告式程式語言或是函數程式語言中，都有類似的概念。 在宣告式的程式語言中，流程控制指令是指會改變程式執行順序的指令，可能是執行不同位置的指令，或是在二段（或多段）程式中選擇一個執行。 不同的程式語言所提供的流程控制指令也會隨之不同，但一般可以分為以下四種：.
查看 指令式編程和控制流程
机器语言
机器语言（machine language）是一種指令集的體--。这种指令集称为機器碼（machine code），是電腦的CPU可直接解讀的資料。 機器碼有時也被稱為原生碼（Native Code），這個名詞比較強調某種程式語言或函式庫與執行平台相關的部份。.
查看 指令式編程和机器语言
另见
編程典範
- 串流處理
- 事件驅動程式設計
- 元编程
- 关系模型
- 响应式编程
- 契约式设计
- 宣告式編程
- 指令式編程
- 文学编程
- 杰克逊结构化编程
- 模块化编程
- 知识表示
- 约束编程
- 结构化编程
- 编程范型
- 脚本语言
- 自修改代码
- 自动机编程
- 过程式编程
- 邏輯編程
- 防御性编程
- 非結構化程式設計
- 面向对象程序设计
- 面向语言的程序设计
- 顺序点
亦称为 命令式程式設計。