比浏览器更快的访问！
82 关系: ActionScript，ALGOL，ALGOL 58，ALGOL 60，ALGOL 68，ALGOL W，AMPL，Angular，基本的電腦科學主題列表，变量 (程序设计)，增值和减值操作符，头等函数，宣告式編程，主函式，列表構造函數，命令 (计算机)，函數程式語言，关系演算，BCPL，BCY语言，C语言，Cω，CoffeeScript，编程语言，编程范型，置換，Dart，DBase，ECMAScript，語句 (程式設計)，迭代，过程式编程，霍尔逻辑，自动机编程，F*，F♯，Fortran，Genie (程式語言)，Go，ISWIM，Java，JavaScript，Jess程序设计语言，Julia (编程语言)，Lua，LZ77与LZ78，Maple，MATLAB，MetaPost，ML语言，...，Modula-2，Nim，Object Pascal，OCaml，Occam，Oz (编程语言)，Pascal (程式語言)，PHP，PL/I，PureBasic，Python，R语言，Ruby，Rust，Scala，Scratch，SpiderBasic，Swift (程式語言)，Tcl，TJS2，TypeScript，Unified Parallel C，Vala，Visual Basic .NET，Whitespace，Windows PowerShell，XSLT，條件運算式，汇编语言，指定敍述，指称语义，有类型λ演算。 扩展索引 (32 更多) »
ActionScript
ActionScript是原Macromedia公司（后并入Adobe）为其Flash产品开发的一种基于ECMAScript的面向对象编程语言。ActionScript可用于网页制作、Adobe Flash动画和RIA应用程序的开发。 ActionScript和JavaScript均基于ECMAScript语法，因而拥有类似的语法。理论上它们互相可以很流畅地从一种语言翻译到另一种。不过JavaScript的文档对象模型是以浏览器窗口、文档和表单为主的，ActionScript的文档对象模型则以SWF格式动画为主，可包括动画、音频、文字和事件处理。 ActionScript 開發時可藉由導入 ANE 作為跨平台使用；並且官方公布之認證Starling （基於OPGL協定）開放框架，可使用GPU高速繪圖，而非傳統的CPU運算功能。.
新！!: 指令式編程和ActionScript · 查看更多 »
ALGOL
ALGOL，名稱源自演算法語言（ALGOrithmic Language）的縮寫，是一族指令式編程語言，發展於1950年代中期，對許多其它程式語言產生了重大影響。计算机协会在教科書及學術文章採用此語言做為描述演算法的標準語法超過三十年。 由大多數近代程式語言皆使用類似ALGOL的語法來看，ALGOL可與差不多同時期的FORTRAN、LISP及COBOL並列為四大最有影響力的高階語言。ALGOL被設計用來避免FORTRAN中一些已知的問題，最終引領了許多其它程式語言的興起，包括PL/I、Simula、BCPL、B、Pascal及C。 ALGOL引入了程式碼區間，並用begin⋯end來分隔。它是第一個利用詞法作用域實作巢狀函式的語言，也是第一個注重形式語言定義的語言，並在ALGOL 60報告中引入了巴科斯範式來作為設計語言形式文法的原則。 ALGOL主要有三種規格，以初次發表的年份命名：.
新！!: 指令式編程和ALGOL · 查看更多 »
ALGOL 58
ALGOL 58（源自ALGOrithmic Language 1958 的縮寫），最早稱為国际代数语言（International Algebraic Language，縮寫為 IAL），一種程式語言，ALGOL家族的第一個成員。它在1958年問世，ALGOL 60即是它的基礎上開發而成。.
新！!: 指令式編程和ALGOL 58 · 查看更多 »
ALGOL 60
ALGOL 60（源自ALGOrithmic Language 1960的縮寫），一種程式語言，是ALGOL語言家族中的成員之一。根據ALGOL 58的基礎，它在1960年被創造，並影響到其後的CPL、BCPL、B語言、Pascal、Simula、C語言，在程式語言中有著很大的影響力。 它的後繼者是ALGOL 68與ALGOL W。.
新！!: 指令式編程和ALGOL 60 · 查看更多 »
ALGOL 68
ALGOL 68（源自ALGOrithmic Language 1968的縮寫），一種指令式程式語言，為ALGOL家族的成員，被認為是ALGOL 60的後繼者。它設計的目標，是提供更廣泛的應用，以及更嚴格的語法定義。.
新！!: 指令式編程和ALGOL 68 · 查看更多 »
ALGOL W
ALGOL W，一種程式語言，為ALGOL家族的一份子。它基於尼克勞斯·維爾特與東尼·霍爾在IFIP Working Group 2.1提出的ALGOL X草案而設計，希望能作為ALGOL 60的後繼者。經過小幅度的修改，在史丹福大學，尼克勞斯·維爾特利用IBM/360機器，實作出第一版的ALGOL W。 它的編譯器是用尼克勞斯·維爾特所設計的PL360組語所寫成。 Category:程序设计语言 Category:ALGOL程式語言家族.
新！!: 指令式編程和ALGOL W · 查看更多 »
AMPL
AMPL，名稱源自於數學程式語言（A Mathematical Programming Language）的縮寫，一種代数建模语言，用以解決與描述大規模數學運算中的高度複雜問題。它最早於1985年由貝爾實驗室的羅伯特·傅里葉（Robert Fourer）、大衛·蓋伊（David Gay）、布萊恩·柯林漢所共同創造。.
新！!: 指令式編程和AMPL · 查看更多 »
Angular
AngularJS是一款由Google维护的开源JavaScript函式庫，用來協助單一頁面應用程式運行。它的目标是透過MVC模式（MVC）功能增强基于浏览器的应用，使开发和测试变得更加容易。在版本2大改（最突出的改变的全面使用TypeScript）之后改名Angular，第N版以Angular N的形式命名。 函式庫讀取包含附加自定義（）的HTML，遵從這些自定義屬性中的指令，並將頁面中的輸入或輸出與由JavaScript變量表示的模型綁定起來。這些JavaScript變量的值可以手工設置，或者從靜態或動態JSON資源中獲取。.
新！!: 指令式編程和Angular · 查看更多 »
基本的電腦科學主題列表
電腦科學是資訊及理論基礎的研究以及電子計算機領域中的執行及應用，電腦科學中一個有名的主題分類系統是，它是由美國電腦協會所設計的，再電腦科學中一個基本的主題列表包括：.
新！!: 指令式編程和基本的電腦科學主題列表 · 查看更多 »
变量 (程序设计)
在程序設計中，變數（Variable，scalar）是指一個包含部分已知或未知數值或資訊（即一個值）之儲存位址，以及相對應之符號名稱（識別字）。通常使用變數名稱參照儲存值；將名稱和內容分開能讓被使用的名稱獨立於所表示的精確訊息之外。電腦原始碼中的識別字能在執行期間綁紮一個值，且該變數的值可能在程式執行期間改變。 程序設計中的變數不一定能直接對應到數學中所謂的變數之概念。在程序設計中，變數的值不一定要為方程或數學公式之一部分。程序設計中的變數可使用在一段可重復的程序：在一處賦值，然後使用於另一處，接著在一次賦值，且以相同方式再使用一次（見迭代）。程序設計中的變數通常會給定一個較長的名稱，以描述其用途；數學中的變數通常較為簡潔，只給定一、兩個字母，以方便抄寫及操作。 一個變數的儲存位址可以被不同的識別字所參照，這種情況稱之為別名。使用其中一個識別字為變數賦值，將會改變透過另一個識別字存取的值。 編譯器必須將代表變數的名稱替代成該數據所在的實際位址。變數的名稱、類型及位址通常會維持固定，但該位址所儲存之數據於程式執行期間則可能會改變。.
新！!: 指令式編程和变量 (程序设计) · 查看更多 »
增值和减值操作符
在多数指令式编程语言中，增值和减值操作符指的是一类单目操作符，这些操作符相应地增加或减少其操作数的值。以C语言为例，“++”“--”操作符分别为增值操作符和减值操作符。.
新！!: 指令式編程和增值和减值操作符 · 查看更多 »
头等函数
头等函数（first-class function）是指在程序设计语言中，函数被当作头等公民。这意味着，函数可以作为别的函数的参数、函数的返回值，赋值给变量或存储在数据结构中。 有人主张应包括支持匿名函数（函数字面量，function literals）。, by Michael Lee Scott, section 11.2 "Functional Programming".
新！!: 指令式編程和头等函数 · 查看更多 »
宣告式編程
宣告式編程（Declarative programming）是一種编程范式，与指令式編程相對立。它描述目標的性質，讓電腦明白目標，而非流程。声明式编程不用告诉电脑问题领域，从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。 声明式编程通常被看做是形式逻辑的理论，把计算看做推导。声明式编程因大幅简化了并行计算的编写难度，自2009起备受关注。 声明式语言包括数据库查询语言（SQL，XQuery），正则表达式，逻辑编程，函数式编程和组态管理系统。 宣告式編程透過函數、推論規則或项重写（term-rewriting）規則，來描述變數之間的關係。它的語言執行器（編譯器或解释器）採用了一個固定的算法，以從這些關係產生結果。 宣告式編程語言通常用作解決人工智能和約束滿足問題。.
新！!: 指令式編程和宣告式編程 · 查看更多 »
主函式
在许多命令式程式設計語言裡，主函式（main function）是程式開始執行的地方。而相对地，其它编程范式的语言中就很少会有这样一个概念。.
列表構造函數
列表構造函數是用來構造列表的基本函數，在大多數 LISP 體系的計算機編程語言中，使用的函數名稱是cons。 cons構成了存放兩個變量與其指針的記憶體物件，這個物件被稱為（cons）單元、非原子的 S 表達式或（cons 對）。LISP 編程中表達要把 x 加入 y 的語法：(cons x y)，構造了一個新物件。產生的結果具備了左半部，稱為car（第一元素或暫存器位址的內容）；以及右半部稱為cdr（其餘元素或遞減暫存器的內容）。 以上約略地和物件導向的構造器概念相關，即產生一個給定參數的新物件，而其與代數數據類型系統的構造函數，有更密切相關。“cons”和諸如“cons onto”的詞句，也是函數編程的通用術語。有時運算子有類似作用，特別是在列表處理的情況下，被讀作“CONS”。（例如 ML，Scala，F＃和 Elm 編程的::運算符，或 Haskell 編程的:運算符，都是向列表的開頭添加一個元素。）.
新！!: 指令式編程和列表構造函數 · 查看更多 »
命令 (计算机)
在计算机中，一个命令指的是为了完成某种特定任务，而向某种解释器程序发送的指示。 大部分情况下一个命令要么是发往某种命令行界面程序（例如殼層）的指示，要么就是在图形用户界面中通过用户选择某项選單而引发的事件。 具体来说，命令这个词一般用于命令式计算机语言。之所以这些语言被这么称呼，是因为这些语言内的语句经常写成类似于自然语言中的祈使語氣的样子。如果说指令式语言中的语句是自然语言中的句子的话，那么命令差不多就是动词了。 很多程序都可以使用特殊格式的引数来修改程序的一些行為，這樣的引數被稱為旗標或選項。接下來的引數描述指令操作的對象。 與自然語言相比較的話，選項就像副詞，而其餘引數則像受詞。.
新！!: 指令式編程和命令 (计算机) · 查看更多 »
函數程式語言
函數式編程（functional programming）或称函数程序设计，又稱泛函編程，是一種編程典範，它將電腦運算視為數學上的函數計算，並且避免使用程序状态以及易变物件。函數程式語言最重要的基礎是λ演算（lambda calculus）。而且λ演算的函數可以接受函數當作輸入（引數）和輸出（傳出值）。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。.
新！!: 指令式編程和函數程式語言 · 查看更多 »
关系演算
关系演算包括元组关系演算和域关系演算，是数据库的关系模型的一部分，提供了查询数据库的声明性方式。关系演算与关系模型中的关系代数相反，因为关系代数提供的是查询数据库的过程性方式。 关系代数和关系演算是逻辑等价的：对于任何代数表达式，都有一个等价的演算表达式，反之亦然。.
新！!: 指令式編程和关系演算 · 查看更多 »
BCPL
BCPL（Basic Combined Programming Language），是一種電腦程式設計語言，源自更早的CPL語言，1966年由劍橋大學的馬丁·理察德（Martin Richards）所發展出來的。 Richards試著移除了CPL中最複雜的組成，第一支BCPL compiler在IBM 7094電腦中完成。 身為早期程式語言的BCPL，如今已不再廣泛使用，但它的影響卻是深遠的，今日流行的C語言即是參考BCPL所設計。BCPL是第一支使用括弧語言，括弧特徵在C語言中隨處可見，例如.
新！!: 指令式編程和BCPL · 查看更多 »
BCY语言
BCY语言，其名称源自“编译程序语言”的汉语拼音（）缩写，是1960年代由中国科学院计算技术研究所设计的中文编程语言。 1964年至1965年间，中国科学院计算技术研究所的一个以董韫美、周少柏为首的小组在为大型电子管计算机119机建立编译系统BX119的过程中，以ALGOL 60为基础设计了BCY语言。与ALGOL 60相比，BCY语言删去了其中一些不常用的部分，不区分整数型与实数型变量，增加了为描述计算机上的计算过程所用的其他语言成分，并使用汉字书写。基于BCY语言的编译系统最早于1965年在119机上实现，后来又先后在109乙机、109丙机、015机、华北计算技术研究所的DJS-8机、华东计算技术研究所的655机等机器上实现。.
新！!: 指令式編程和BCY语言 · 查看更多 »
C语言
C是一种通用的程式語言，广泛用于系统软件与应用软件的开发。于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來。 C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点，在程式設計中备受青睐，成为最近25年使用最为广泛的编程语言。目前，C语言編譯器普遍存在於各種不同的操作系统中，例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言，例如C++、Objective-C、Java、C#等。 二十世纪八十年代，為了避免各開發廠商用的C語言語法產生差異，由美國國家標準局為C語言訂定了一套完整的國際標準語法，稱為ANSI C，作為C語言的標準。二十世纪八十年代至今的有关程式開發工具，一般都支持符合ANSI C的語法。.
Cω
cω是一種尚在研究中的程序设计语言，專門應用於平行運算的編程語言。這種語言由微軟研究院開發。 根據微軟研究所，Cω是一種用作擴充C#的試驗性的語言，內裏包括新建的關聯性和準結構性的資料存取，與及異步並發計算。Cω主要在兩大範圍上擴充C#：.
CoffeeScript
CoffeeScript是一套JavaScript的轉譯語言。受到Ruby、Python與Haskell等語言的啟發The Changelog.
新！!: 指令式編程和CoffeeScript · 查看更多 »
编程语言
编程语言（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++写出一个纯粹的面向对象程序，甚至还有人可以写出杂揉了两种范型的程序。.
新！!: 指令式編程和编程范型 · 查看更多 »
置換
排列（Permutation）是將相異物件或符號根據確定的順序重排。每個順序都稱作一個排列對於不排序的情形，請見條目組合。。例如，從一到六的數字有720種排列，對應於由這些數字組成的所有不重複亦不闕漏的序列，例如"4, 5, 6, 1, 2, 3" 與1, 3, 5, 2, 4, 6。 置換的廣義概念在不同語境下有不同的形式定義：.
Dart
Dart（, ）是一种适用于全球資訊網的開放原始碼程式語言，由Google主導開發，於2011年10月公開。它的開發團隊由Google Chrome瀏覽器V8引擎團隊的領導者主持，目標在於成為下一代結構化Web開發語言。 類似JavaScript，Dart也是一種物件導向語言，但是它採用類別基礎編程。它只允許單一繼承，語法風格接近C語言。.
新！!: 指令式編程和Dart · 查看更多 »
DBase
dBase是第一個在個人電腦上被廣泛使用的單機版資料庫系統，在CP/M與DOS的時期，由公司所發表。在1980年，它最初是出現在CP/M的軟體，而後被移植到Apple II與IBM PC的DOS上。在dBase III與dBase III Plus時，成為當時資料庫市場的主流，而後其他公司推出功能相近甚至是強化的產品，例如Clipper或FoxPro，它們被稱為。然而在dBase IV的失敗，使用者被迫尋找其他更穩定與安全的資料庫。而後在SQL與主從式架構的市場需求下，dBase快速從Microsoft Windows的軟體市場上消失。 dBase的系統包括核心資料庫引擎、查詢系統、表單引擎、與一個腳本程式語言，這些組件一起被販售。.
新！!: 指令式編程和DBase · 查看更多 »
ECMAScript
ECMAScript是一种由Ecma国际（前身为欧洲计算机制造商协会）通过ECMA-262标准化的脚本程序设计语言。这种语言在万维网上应用广泛，它往往被称为JavaScript或JScript，但实际上后两者是ECMA-262标准的实现和扩展。.
新！!: 指令式編程和ECMAScript · 查看更多 »
語句 (程式設計)
語句（statement）又稱述句、--、描述式、--、陳述句等。在計算機科學的編程中，一個語句是指令式編程語言中最小的獨立元素，表達程序要執行的一些動作。多數語句是以高階語言編寫成一或多個語句的序列，用於命令計算機執行指定的一系列操作。單一個語句本身也具有內部結構（例如表達式）。 許多語言（例如說，C語言）將語句與定義句（definition）分隔的很明確，因為語句只會有運算符號以及一些宣告標識符號（identifier）的定義。我們也可以找出簡單語句與複合語句之間的差異；後者會在一個段落中包含了許多語句。.
新！!: 指令式編程和語句 (程式設計) · 查看更多 »
迭代
迭代是重复反馈过程的活动，其目的通常是为了接近并到达所需的目标或结果。每一次对过程的重复被称为一次“迭代”，而每一次迭代得到的结果会被用来作为下一次迭代的初始值。.
过程式编程
过程式程序设计（Procedural programming），又稱程序式編程、程序化編程，一種編程典範，有時會被視為是指令式編程的同義語。衍生自結構化編程（Structured programming），主要採取程序呼叫（procedure call）或函式呼叫（function call）的方式來進行流程控制。流程則由包涵一系列運算步驟的程序（Procedures），常式（routines），子程序（subroutines）, 方法（methods），或函式（functions）來控制。在程式執行的任何一個時間點，都可以呼叫某個特定的程序。任何一個特定的程序，也能被任意一個程序或是它自己本身呼叫。 著名的例子有Linux內核，git，以及Apache HTTP Server等。 Category:編程典範.
新！!: 指令式編程和过程式编程 · 查看更多 »
霍尔逻辑
霍爾邏輯（Hoare Logic），又稱弗洛伊德-霍爾邏輯（Floyd–Hoare logic），是英国计算机科学家東尼·霍爾开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理來替计算机程序的正确性提供一组逻辑规则。 這個想法起源於罗伯特·弗洛伊德於較早的研究，他为流程图提供了类似的系统。東尼·霍爾於1969年首次發表，随后为其他研究者所精制。.
新！!: 指令式編程和霍尔逻辑 · 查看更多 »
自动机编程
自动机编程（Automata-based programming）是編程範式中的一種，是指程式或其中的部份是以有限狀態機（FSM）為模型的程式，有些程式則會用其他型式（也更複雜）的自動機為其模型。 有限狀態機編程（FSM-based programming）大致上等同於自动机编程，但有限狀態機編程專指以有限狀態機為模型的程式。 自动机编程有以下的二項特徵：.
新！!: 指令式編程和自动机编程 · 查看更多 »
F*
F*是一个由微软研究院开发的基于F♯的依赖类型函数式程序语言。它可被编译到.NET的CIL或JavaScript。 F*的类型系统较之于F#更加丰富，它允许可被半自动化检查的功能正确性规范。.
F♯
F#是由微软发展的为.NET语言提供运行环境的程序设计语言，是函數程式語言（FP，Functional Programming），函數程式語言最重要的基礎是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML函数程式语言。有時F#和OCaml的程式是可以交互編譯的。 F#已經接近成熟，支援高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显.NET在不同编程语言间互通的程序设计，可以被.NET中的任意其它代碼編譯和調用。 2002年微软開始由Don Syme帶領研發F#，從C#，LINQ和Haskell中獲取了經驗，2005年推出第一個版本，2007年7月31日释出1.9.2.9版。2007年底，微軟宣布F#進入產品化的階段。 F#已被集成在Visual Studio 2010中，版本是2.0，含有对.Net Framework的完全支持。 F#现在在Visual Studio 2015中，版本是4.0。 F#现在在Visual Studio 2017中，版本是4.1。.
Fortran
福傳（Fortran），源自於「公式翻译」（Formula Translation）的縮寫，是一種程式語言。1957年由IBM開發出，是世界上第一个被正式采用並流传至今的高级编程語言。.
新！!: 指令式編程和Fortran · 查看更多 »
Genie (程式語言)
Genie，一種現代通用型的高級語言，最早在2008年被發表，由 GNOME 所推動，採用GNU宽通用公共许可证。它被設計來取代 Vala。它與Vala共用相同的編譯器與程式庫，兩種程式語言可以完全共用，唯一的差別在於語法的不同。 它的語法接近 Python，借助 GObject 來實現物件導向程式設計。.
新！!: 指令式編程和Genie (程式語言) · 查看更多 »
Go
Go（又稱Golang）是Google開發的一种静态强类型、編譯型、-zh-hant:並發型;zh-hans:并发型-，并具有垃圾回收功能的编程语言。 ，羅勃·派克（Rob Pike）及肯·汤普逊於2007年9月开始设计Go，，稍後Ian Lance Taylor、Russ Cox加入專案。Go是基於Inferno作業系統所開發的。Go於2009年11月正式宣布推出，成為開放原始碼專案，并在Linux及Mac OS X平台上进行了實現，后来追加了Windows系统下的实现。 目前，Go每半年发布一个二级版本（即从a.x升级到a.y）。.
ISWIM
ISWIM 是 Peter J. Landin 设计并描述于他在1966年于ACM通讯中出版的文章《The Next 700 Programming Languages》中的抽象计算机编程语言（或编程语言家族）。名称是如下首字母缩写“If you See What I Mean”。 尽管没有实现，它被证明为在编程语言特别是函数式编程语言开发中非常有影响力的语言，比如 SASL，Miranda，ML，Haskell 和它们的后继者。 ISWIM 是带有由加了语法糖的 lambda 演算组成的函数式核心的指令式语言，它增加了（i）可变变量和赋值，（ii）强力控制机制 — Landin 的 J 算子，它能够捕获当前的续体（Scheme 的 call/cc 算子是简化版本的 Landin 的 J 算子）。因为基于 lambda 演算，ISWIM 有高阶函数和词法辖域变量。 ISWIM 的操作语义是使用 Landin 的 SECD抽象机定义的，并且使用了传值调用因而是及早求值的。ISWIM 的目标之一就是看起来更像数学表示，所以 Landin 放弃了 ALGOL 的语句间分号和 begin...
新！!: 指令式編程和ISWIM · 查看更多 »
Java
Java是一種廣泛使用的電腦程式設計語言，擁有跨平台、物件導向、泛型程式設計的特性，广泛应用于企业级Web应用开发和移动应用开发。 任職於昇陽電腦的詹姆斯·高斯林等人于1990年代初开发Java語言的雛形，最初被命名为Oak，目標設定在家用电器等小型系統的程式语言，應用在电视机、电话、闹钟、烤面包机等家用电器的控制和通訊。由于这些智能化家电的市场需求没有预期的高，Sun公司放弃了该项计划。随着1990年代網際網路的发展，Sun公司看見Oak在網際網路上应用的前景，于是改造了Oak，於1995年5月以Java的名称正式发布。Java伴随着互联网的迅猛发展而发展，逐渐成为重要的网络编程语言。 Java编程语言的风格十分接近C++语言。继承了C++语言面向对象技术的核心，Java舍弃了C++语言中容易引起错误的-zh-hans:指针; zh-hant:指標;-，改以-zh-hans:引用; zh-hant:參照;-取代，同時移除了C++中的--和多重继承特性，改用接口取代，增加垃圾回收器功能。在Java SE 1.5版本中引入了泛型编程、类型安全的枚举、不定长参数和自动装/拆箱特性。昇陽電腦对Java语言的解释是：「Java编程语言是个简单、面向对象、分布式、解释性、健壮、安全与系统无关、可移植、高性能、多线程和动态的语言」 Java不同於一般的编译語言或直譯語言。它首先将源代码编译成字节码，然后依赖各种不同平台上的虚拟机来解释执行字节码，从而实现了“一次编写，到处运行”的跨平台特性。在早期JVM中，这在一定程度上降低了Java程序的运行效率。但在J2SE1.4.2发布后，Java的執行速度有了大幅提升。 与传统型態不同，Sun公司在推出Java時就将其作为开放的技术。全球数以万计的Java开发公司被要求所设计的Java软件必须相互兼容。“Java语言靠群体的力量而非公司的力量”是 Sun公司的口号之一，并获得了广大软件开发商的认同。这与微软公司所倡导的注重精英和封闭式的模式完全不同，此外，微软公司後來推出了与之竞争的.NET平台以及模仿Java的C#语言。後來Sun公司被甲骨文公司併購，Java也隨之成為甲骨文公司的產品。 現時，行動作業系統Android大部分的代碼採用Java 程式設計語言編程。.
新！!: 指令式編程和Java · 查看更多 »
JavaScript
JavaScript，一种高级编程语言，通过解释执行，是一门动态类型，面向对象（基于原型）的直譯語言。它已经由ECMA（欧洲电脑制造商协会）通过ECMAScript实现语言的标准化。它被世界上的绝大多数网站所使用，也被世界主流浏览器（Chrome、IE、Firefox、Safari、Opera）支持。JavaScript是一门基于原型、函数先行的语言，是一门多范式的语言，它支持面向对象编程，命令式编程，以及函数式编程。它提供语法来操控文本、数组、日期以及正则表达式等，不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。 虽然JavaScript与Java这门语言不管是在名字上，或是在语法上都有很多相似性，但这两门编程语言从设计之初就有很大的不同，JavaScript的语言设计主要受到了Self（一种基于原型的编程语言）和Scheme（一门函数式编程语言）的影响。在语法结构上它又与C语言有很多相似（例如if条件语句、while循环、switch语句、do-while循环等）。 在客户端，JavaScript在传统意义上被实现为一种解释语言，但在最近，它已经可以被即时编译（JIT）执行。随着最新的HTML5和CSS3语言标准的推行它还可用于游戏、桌面和移动应用程序的开发和在服务器端网络环境运行，如Node.js。.
新！!: 指令式編程和JavaScript · 查看更多 »
Jess程序设计语言
Jess是Java平台上的，它是的超集，由桑迪亚国家实验室的开发。它的第一个版本写于1995年晚期。 Jess提供适合自动化专家系统的逻辑编程，它常被称作“专家系统外壳”。近年来，智能代理系统也在相似的能力上发展起来。 与一个程序中有一个只运行一次的循环的指令式編程语言不同，Jess使用的宣告式编程通过一个名为“模式匹配”的过程连续的对一个事实的集合运用一系列规则。规则可以修改事实集合，或者运行任何Java代码。 Jess可以被用来构建使用规则定义形式的知识来推倒结论和推论的Java Servlet、EJB、Applet和应用程序。因为不同的规则匹配不同的输入，所以有了一些有效的通用匹配算法。Jess规则引擎使用。.
新！!: 指令式編程和Jess程序设计语言 · 查看更多 »
Julia (编程语言)
Julia是一个面向科学计算的高性能动态高级程序设计语言。其语法与其他科学计算语言相似。在许多情况下拥有能与编译语言相媲美的性能。.
新！!: 指令式編程和Julia (编程语言) · 查看更多 »
Lua
Lua（）程序设计语言是一个简洁、轻量、可扩展的脚本语言，Lua在葡萄牙语中的意思是月亮。.
LZ77与LZ78
LZ77与LZ78是Abraham Lempel与Jacob Ziv在1977年以及1978年发表的论文中的两个无损数据压缩算法。这两个算法是大多数LZ算法变体如LZW、LZSS以及其它一些压缩算法的基础。与最小冗余编码器或者行程长度编码器不同，这两个都是基于字典的编码器。LZ77是“滑动窗”压缩算法，这个算法后来被证明等同于LZ78中首次出现的显式字典编码技术。.
新！!: 指令式編程和LZ77与LZ78 · 查看更多 »
Maple
Maple是一个通用型的商用计算机代数系統。Maple起源于1988年，由加拿大安大略滑铁卢的一家公司，Waterloo Maple Inc.（亦称Maplesoft枫软）进行开发和商业销售。最新版是Maple 2018。它的主要竞争者是Mathematica。 目前共有五個版本：Personal（個人版），Professional（專業版），Academic（學術版），Government（政府版）和Student（學生版）。 2009年，枫软被日本软件商Cybernet Systems收购。.
新！!: 指令式編程和Maple · 查看更多 »
MATLAB
MATLAB（矩阵实验室）是MATrix LABoratory的缩写，是一款由美国The MathWorks公司出品的商业数学软件。MATLAB是一种用于算法开发、数据可视化、数据分析以及数值计算的高级技术计算语言和交互式环境。除了矩阵运算、绘制函数/数据图像等常用功能外，MATLAB还可以用来创建用户界面及与调用其它语言（包括C、C++、Java、Python和FORTRAN）编写的程序。 尽管MATLAB主要用于数值运算，但利用为数众多的附加工具箱（Toolbox）它也适合不同领域的应用，例如控制系统设计与分析、图像处理、信号处理与通讯、金融建模和分析等。另外还有一个配套软件包Simulink，提供一个可视化开发环境，常用于系统模拟、动态/嵌入式系统开发等方面。.
新！!: 指令式編程和MATLAB · 查看更多 »
MetaPost
MetaPost是一个程序语言和它的编译器的名字，衍生于高德纳的Metafont。MetaPost擅长通过数学描述制作矢量图，生成的图片为PostScript格式。它的语法来自Metafont。.
新！!: 指令式編程和MetaPost · 查看更多 »
ML语言
ML是一个通用的函數式編程语言，它是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。（之前的元语言是pplambda，它联合了一阶逻辑演算和有类型的多态的λ演算）。它使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。 ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数式编程语言——例如Haskell——很不一样。 ML特性包括：傳值呼叫（Call by value）的求值策略，一级函数，带有垃圾收集的自动内存管理，参数多态，静态数据类型，类型推论，代数数据类型，模式匹配和异常处理。 不像Haskell，ML使用及早求值，也就是说所有的子表达式总是被求值。导致的一个结果是你不能使用无穷表。然而，惰性求值产生的无穷表可以通过使用匿名函数来模拟。 今天在ML家族中有好几种语言：两种主要的方言是Standard ML和Caml，其他的包括F#－针对Microsoft.NET平台的开放研究项目。ML中的思想影响了众多的语言，例如Haskell，Cyclone和Nemerle。 ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明机），但是它作为通用语言也被用于生化，金融系统，和宗谱数据库，一个P2P的客户／服务器程序等等。.
新！!: 指令式編程和ML语言 · 查看更多 »
Modula-2
Modula-2是由图灵奖获得者尼克劳斯·维尔特（Niklaus Wirth）所提出的一个程式語言。Modula-2之名是根據其3個編譯單元的模組而來，這些模組分別為程式模組（Program Module），定義模組（Definition Module）及執行模組（Implementation Module）。 Wirth根據其早期對Pascal、模組程式語言(Modula)或稱為Modula-1程式語言及Alto電腦的經驗來定義Modula-2。在1976至1977年間，Wirth在Xerox Palo Alto研究中心與一群設計Alto電腦的工作夥伴一同工作，次年，他開始一個在瑞士聯邦理工學院資訊研究所的Lilith個人電腦計畫。該計畫主要的原則乃是以Modula-2為Lilith的系統程式語言，而以Lilith為Modula-2的組織架構。由於不需組譯器(Assembler)，該語言不僅適用於編寫高階的應用程式，也應適用於編寫低階，與機器相關的編碼程式(Machine-Dependent Coding)，用裝置的操控與儲存體的配置。 該語言本身與Lilith結構之設計，都以優雅及簡單為原則，在整個Lilith計畫的生命期中(1978-1988)，作業系統、繪圖套裝軟體、資料庫系統、網路協議、檔案伺服器及許多其他系統和應用模組都是藉著Modula-2發展出來的。 Modula-2設計是讓其程式模組得以重複使用(Reuse)。它藉著提供一些標準程式庫，如異常處置(Exception Handling)、字串處理(String Processing)、輸入／輸出(I/O)及並行程式設計(Concurrent Programming)等來降低語言本身的複雜度。 一個Modula-2的定義模組(Definition Module)定義抽象化資料(Data Abstraction)的介面規格。一個定義模組是與其相對應的實作模組(Implementation Module)個別分開來編譯。一旦編譯好就不必再改變。一個定義模組(Definition Module)包含對常數、類型(Type)、變數及程序標頭的宣告。只有那些可能會被其他程式設計師引用到的程式標頭才會被宣告在定義模組內。那些相對應的執行模組包括區域性的常數、類型、變數宣告；以及外部程序和內部實作所需用到的程序定義。 程式是由上而下(Top-Down)的方式發展，其步驟乃是先建立若干定義模組，之後再隨著需要建立實作模組的部分。每一個實作模組可在其被呼叫前對其區域性的資料結構設定初始值。Modula-2也需偵測在實作模組內的資料是否已過時而導致資料的不一致。 Modula-2程式語言有幾項特色使其在電腦科學的發展過程中有著功不可沒的功勞。首先，它所提出的電腦架構、語言和作業環境的整合概念是一項創舉；其次，它強調程式設計師在使用者介面的設計上，至少需花費用同實作程式設計時所耗費的成本和努力。最後，它提出對抽象化資料的簡化。.
新！!: 指令式編程和Modula-2 · 查看更多 »
Nim
Nim 是一个命令式、多范式支持、静态类型、编译型的程序设计语言，由 Andreas Rumpf 设计和开发，设计目标是高效、富有表现力以及优雅。Nim 支持元编程、函数式、消息传递、面向过程以及面向对象编程。.
Object Pascal
Object Pascal指Pascal的面向对象的衍生分支，以Delphi的主要编程语言著称。Pascal编译器，包括那些Object Pascal的编译器，在生成高优化代码同时，一般运行非常快。.
新！!: 指令式編程和Object Pascal · 查看更多 »
OCaml
OCaml，最早稱為Objective Caml，是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。.
新！!: 指令式編程和OCaml · 查看更多 »
Occam
Occam，一種并行性程式語言，主要基於交談循序程式的程式代數，以及它的許多特色而實作。它的名稱來自於奥卡姆的威廉提出的奥卡姆剃刀（Occam's razor）原則。 類似於Pascal，Occam也是一種指令程序編程的程式語言。這個語言於1983年出現，由英國計算機科學家David May，以及Inmos的科學家，在東尼·霍爾提供顧問意見後，共同研發而成。.
新！!: 指令式編程和Occam · 查看更多 »
Oz (编程语言)
Oz是一门多范式编程语言语言，由 Université catholique de Louvain的编程系统实验室开发，主要用于计算机编程语言的教学。它还提供一本相关的语言教材《Concepts, Techniques, and Models of Computer Programming》。 Mozart Programming System是 Oz 语言的主要实现，由Mozart Consortium作为开源软件发布。目前Mozart已经被移植到了不同的操作平台，包括Unix, FreeBSD, Linux, Microsoft Windows, 和 Mac OS X。Mozart-Oz项目本身包括运行虚拟机MVM等，请见于以及.
新！!: 指令式編程和Oz (编程语言) · 查看更多 »
Pascal (程式語言)
Pascal是一个有影响的面向对象和面向过程编程语言，由尼克劳斯·维尔特在1968年9月设计，在1970年发行，作为一个小型的和高效的语言，意图鼓励使用结构化编程和数据结构进行良好的编程实践。 称作Object Pascal的一个衍生是为面向对象编程设计的。.
新！!: 指令式編程和Pascal (程式語言) · 查看更多 »
PHP
PHP（全称：PHP：Hypertext Preprocessor，即“PHP：超文本预处理器”）是一种开源的通用计算机脚本语言，尤其适用于网络开发并可嵌入HTML中使用。PHP的语法借鉴吸收C语言、Java和Perl等流行计算机语言的特点，易于一般程序员学习。PHP的主要目标是允许网络开发人员快速编写动态页面，但PHP也被用于其他很多领域。 PHP最初是由勒多夫在1995年开始开发的；現在PHP的標準由the PHP Group維護。PHP以PHP License作為許可協議，不過因為這個協議限制了PHP名稱的使用，所以和開放原始碼許可協議GPL不相容。 PHP的應用範圍相當廣泛，尤其是在網頁程式的開發上。一般來說PHP大多執行在網頁伺服器上，透過執行PHP程式碼來產生使用者瀏覽的網頁。PHP可以在多數的伺服器和作業系統上執行，而且使用PHP完全是免費的。根據2013年4月的統計資料，PHP已經被安裝在超過2億4400萬個網站和210萬台伺服器上。 PHP在windows上有专门的官方移植编译项目，并且分多个VC编译器版本和线程安全特性来提供不同的版本支持。.
PL/I
PL/I（），源自第一編程語言（Programming Language One的縮寫），一種程序式、指令式程式語言。由IBM公司在1950年代发明的第三代高级编程语言，用于IBM的MVS、或迪吉多的VAX/VMS等操作系统中。 在系统软件，图像，仿真，文字处理，网络，商业软件等领域均可应用。 有些类似PASCAL语言。.
新！!: 指令式編程和PL/I · 查看更多 »
PureBasic
PureBasic是由Fantaisie Software所開發的商用BASIC程序语言及整合開發環境（IDE）。特點是語法簡單直接，不依賴运行时库，因此能編譯出相當小巧的程序，包含命令列或GUI執行檔、DLL等。而且不使用各系統的API，所以有高度的跨平台特性，支持Windows 32/64位元、Linux 32/64位元、Mac OS X、Amiga。.
新！!: 指令式編程和PureBasic · 查看更多 »
Python
Python（ ），是一种广泛使用的高级编程语言，属于通用型编程语言，由吉多·范罗苏姆创造，第一版发布于1991年。可以視之為一種改良（加入一些其他程式語言的優點，如物件導向）的LISP。作为一种解释型语言，Python的设计哲学强调代码的可读性和简洁的语法（尤其是使用空格缩进划分代码块，而非使用大括号或者关键词）。相比於C++或Java，Python让开发者能够用更少的代码表达想法。不管是小型还是大型程序，该语言都试图让程序的结构清晰明了。 与Scheme、Ruby、Perl、Tcl等动态类型编程语言一样，Python拥有动态类型系统和垃圾回收功能，能够自动管理内存使用，并且支持多种编程范式，包括面向对象、命令式、函数式和过程式编程。其本身拥有一个巨大而广泛的标准库。 Python 解释器本身几乎可以在所有的操作系统中运行。Python的正式直譯器CPython是用C语言编写的、是一個由社群驱动的自由软件，目前由Python软件基金会管理。.
新！!: 指令式編程和Python · 查看更多 »
R语言
R语言，一種自由軟體程式語言與操作環境，主要用于统计分析、绘图、数据挖掘。R本來是由來自新西蘭奧克蘭大學的罗斯·伊哈卡和罗伯特·杰特曼開發（也因此稱為R），現在由“R開發核心團隊”負責開發。R基于S语言的一个GNU計劃项目，所以也可以当作S语言的一种实现，通常用S语言编写的代码都可以不作修改的在R环境下运行。R的語法是來自Scheme。 R的原始碼可自由下載使用，亦有已編譯的執行檔版本可以下載，可在多种平台下运行，包括UNIX（也包括FreeBSD和Linux）、Windows和MacOS。R主要是以命令行操作，同時有人開發了幾種圖形用戶界面。.
Ruby
Ruby 是一种面向对象、命令式、函数式、动态的通用编程语言。在20世纪90年代中期由日本電腦科學家松本行弘（Matz）设计并开发。 遵守BSD许可证和Ruby License。它的灵感与特性来自于Perl、Smalltalk、Eiffel、Ada以及Lisp语言。由Ruby语言本身还发展出了JRuby（Java平台）、IronRuby（.NET平台）等其他平台的Ruby语言替代品。.
新！!: 指令式編程和Ruby · 查看更多 »
Rust
Rust是一个由Mozilla主导开发的通用、编译型编程语言。它的设计准则为“安全，并发，实用”，支持函数式，并发式，程序式以及面向对象的编程风格。 Rust 語言原本是 Mozilla 員工 Graydon Hoare 的私人計畫，而 Mozilla 於 2009 年開始贊助這個計畫，並且在 2010 年首次揭露了它的存在。也在同一年，它的編譯器原始碼開始由原本的 OCaml 語言轉移到用 Rust 語言，進行 bootstrapping 工作，稱做 rustc，並於 2011 年實際完成.
新！!: 指令式編程和Rust · 查看更多 »
Scala
Scala（）是一门多范式的编程语言，设计初衷是要整合面向对象编程和函数式编程的各种特性。.
新！!: 指令式編程和Scala · 查看更多 »
Scratch
Scratch是麻省理工媒體實驗室开发的一套電腦程式開發平台，旨在讓程式設計語言初學者不需先學習語言語法便能设计产品。开发者期望通过学习Scratch，启发和激励用户在愉快的環境下經由操作（如設計互動故事）去學習程式設計、數學和計算知識，同時获得創造性的思考，邏輯編程，和協同工作的体验。 Scratch 開發平台可安裝在Mac OS X、Windows、Linux的平台上；自2.0之后，换用Actionscript编制，Scratch运行于浏览器。Scratch源碼開放給非商業性質用途使用。.
新！!: 指令式編程和Scratch · 查看更多 »
SpiderBasic
SpiderBasic是由Fantaisie Software所開發的商用Web程序语言。SpiderBasic 是一套基於 Basic 語法規則的新式 Web 客戶端程式語言。它允許設計非常複雜且基於 Web 視窗應用程式，和提供一種強大的命令集，以一致的方式處理 GUI、2D 遊戲或其他。SpiderBasic是一個編譯器，生成優化的 JavaScript，需要一個新的瀏覽器（HTML5）運行。作為一個編譯器，它有強大的類型和 JavaScript 不提供的各種檢查，允許健壯的代碼構造。 PureBasic PureBasic.
新！!: 指令式編程和SpiderBasic · 查看更多 »
Swift (程式語言)
Swift是一種支持多编程范式和編譯式的編程語言，是用來撰寫macOS/OS X、iOS、watchOS和tvOS的语言之一。 2014年，其在苹果开发者年会（WWDC）發布。設計Swift時，蘋果公司有意讓Swift與Objective-C共存在蘋果公司的作業系統上。.
新！!: 指令式編程和Swift (程式語言) · 查看更多 »
Tcl
Tcl（发音tickle）是一种脚本语言。由创建。TCL经常被用于快速原型开发 RAD、脚本编程、GUI编程和测试等方面。.
TJS2
TJS2，即是第二代 TJS ，是種一由 W.Dee 開發，主要用於吉里吉里的內嵌式腳本程式設計語言。.
新！!: 指令式編程和TJS2 · 查看更多 »
TypeScript
TypeScript是一種由微軟開發的自由和開源的編程语言。它是JavaScript的一個严格超集，並添加了可選的靜態型別和類別基礎的物件導向編程。C#的首席架构师以及Delphi和Turbo Pascal的创始人安德斯·海尔斯伯格参与了TypeScript的开发。 TypeScript设计目标是开发大型應用，然后转译成JavaScript。由于TypeScript是JavaScript的严格超集，任何現有的JavaScript程式都是合法的TypeScript程序。 TypeScript支援為現存JavaScript函式庫添加類型資訊的定义文件，方便其他程序像使用静态类型的值一样使用现有库中的值。目前有第三方提供常用函式庫如jQuery、MongoDB、Node.js和D3.js的定义文件。 TypeScript编译器本身也是用TypeScript写成（见自举），并被转译为JavaScript，以Apache License 2发布。.
新！!: 指令式編程和TypeScript · 查看更多 »
Unified Parallel C
Unified Parallel C（縮寫為 UPC），C語言的擴展，其設計目的支持大規模的平行計算。由ISO C99標準，進行擴展，增加了許多特色，包括支援平行運算模型，共享位址空間，同步及記憶體一致模型，行程間通訊與記憶體管理功能等。.
新！!: 指令式編程和Unified Parallel C · 查看更多 »
Vala
Vala是一門物件導向的程式語言，由編譯器產生C語言代碼和使用GObject系統，允许在Gnome运行时库的基础上使用一些现代的编程技巧。通过使用GLib和GObject，Vala提供了动态类型系统和补助内存管理的功能。 Vala借鉴了大量的C#语法，因此看起来非常相似。.
新！!: 指令式編程和Vala · 查看更多 »
Visual Basic .NET
Visual Basic.NET（VB.NET）是.NET Framework框架下的一种多重编程范式高级语言。 VB.NET，是微软公司于2002年作为原有的Visual Basic的继承者而推出。虽然自2005年起，语言名称中的“.NET”就已经被去掉了。但为了与VB 6.0及以前版本的Visual Basic进行区分，“Visual Basic.NET”的名字仍然被社会公众用来指代VB 7.0及以后的Visual Basic。VB.NET与C#同为.Net Framework框架下两种主要的程序设计语言，都是为了调.Net Framework的类库资源，因此两种语言具有很高的对应性，数据类型、控制结构与语言特性都存在一一对应，容易把源代码从一种语言对译为另一种语言。 微软公司的集成开发环境Visual Studio是最为广泛使用的VB.NET开发工具。然而Visual Studio的大部分版本都是价格不菲的商业软件，除了Express版本和Visual Studio Community（以上两者皆为免费软件）。除了Visual Studio，SharpDevelop和Mono也是可用的VB.NET开发环境。.
新！!: 指令式編程和Visual Basic .NET · 查看更多 »
Whitespace
Whitespace是種深奥的编程语言。它由Edwin Brady和Chris Morris開發，2003年4月1日發佈。大部分的現代程式設計語言都不將空白字元視為語法的一部分。但Whitespace卻只視空格（space）、制表符（tabs）和換行（new lines）為語法的一部分，它的直譯器忽略所有非空白字元。 它本身是個指令式、基於堆疊的語言。其程式運行在上的虛擬機器均有一個堆疊（Stack）和堆（Heap）。程式員可自由將整數推進堆疊中（只可以是整數，因為暫時並無浮點數或實數工具）。使用者亦可通過堆作為變數和資料結構的暫存區。 这种语言有和Brainfuck一样的优点，能方便地写程序注释，写的注释根本不需要标识，编译器直接跳过你写的文字信息。还有，借助这种语言，可以在满篇空白的代码中插入一篇文章，从而在看起来完全无关的文章中隐藏一段代码。对于一些需要保证安全性的工作来说，这种语言帮助很大，因为它可以防止别人把代码打印出来拿走。.
新！!: 指令式編程和Whitespace · 查看更多 »
Windows PowerShell
PowerShell（包括Windows PowerShell and PowerShell Core）是微軟公司开发的任务自动化和組態管理框架，由.NET Framework和.NET Core是构建的命令行界面殼層相关脚本语言组成，最初仅Windows组件，后于2016年8月18日开源并跨平台支持。 在PowerShell中，管理任务通常由cmdlets（发音为command-lets）执行，这是执行特定操作的专.NET类。可以将cmdlet集合至脚本、可执行文件（一般是独立应用程序）中，或通过常规.NET类（或WMI / COM对象）实例化。通过访问不同数据存储中的数据由PowerShell运行，如资源管理器或注册表。.
新！!: 指令式編程和Windows PowerShell · 查看更多 »
XSLT
在计算机科学中，可扩展样式--转换语言（Extensible Stylesheet Language Transformations，缩写XSLT）是一种樣式轉換標記语言，可以將XML資料檔轉換為另外的XML或其它格式，如HTML網頁，純文字。XSLT最末的T字母表示英语中的“转换”（transformation）。它是XSL规范中的一部份，目前最新的建議版本為XSL 3.0。 以XSLT進行格式轉換並不會變動原始的資料文件；而會以現有資料產生新的內容格式。作為輸入的通常是XML資料檔，或者由支援XQuery和XPath的資料模型處理器，其它來源的資料也能被轉換，例如關聯式資料庫表格或地理資訊系統。 XSL规范的另外一部分是XSLF（Formatting Objects，代表格式化物件）,又称XSL-FO或XSLFO，目前已逐漸被CSS 3.0所取代。XSLT是一種圖靈完備的語言，它可以指定計算機能執行的任何計算。.
新！!: 指令式編程和XSLT · 查看更多 »
條件運算式
在計算機科學中，--（conditional expressions），又稱--、條件表示式，是一種程式語言的功能，它可以用來決定當程式指定的布爾運算值為真或假時，程式接下來將會採取的行動。 在命令式编程中，通常稱為條件陳述（conditional statements），又稱條件語句，在函數式編程中，通常稱為條件運算式（conditional expressions）或條件結構（conditional constructs）。.
新！!: 指令式編程和條件運算式 · 查看更多 »
汇编语言
汇编语言（assembly language）是一种用于电子计算机、微处理器、微控制器，或其他可编程器件的低级语言。在不同的设备中，汇编语言对应着不同的机器语言指令集。一种汇编语言专用于某种计算机系统结构，而不像许多高级语言，可以在不同系统平台之间移植。 使用汇编语言编写的源代码，然后通过相应的汇编程序将它们转换成可执行的机器代码。这一过程被称为汇编过程。 汇编语言使用助记符（Mnemonics）来代替和表示特定低级机器语言的操作。特定的汇编目标指令集可能会包括特定的操作数。许多汇编程序可以识别代表地址和常量的标签（Label）和符号（Symbols），这样就可以用字符来代表操作数而无需采取写死的方式。普遍地说，每一种特定的汇编语言和其特定的机器语言指令集是一一对应的。 许多汇编程序为程序开发、汇编控制、辅助调试提供了额外的支持机制。有的汇编语言编寫工具经常会提供巨集，它们也被称为--汇编器。 现在汇编语言已不像其他大多數的程序設計語言一樣被廣泛用于程序設計，在今天的實際應用中，它通常被應用在底層硬件操作和高要求的程序優化的场合。驅動程序、嵌入式操作系統和實時運行程序都会需要組合語言。.
新！!: 指令式編程和汇编语言 · 查看更多 »
指定敍述
在程序設計中，指定敍述（assignment statement），又譯指定指述，會將一個特定的值設定到某個特定的儲存位址去，這個位置被標記成一個特定的變數名稱。換句話說，這個敍述會複製一個值到某個特定變數中。在多數的指令式程式語言中，這種敍述是其中最基礎的結構。 指定敍述的通用表示方法通常是 x.
新！!: 指令式編程和指定敍述 · 查看更多 »
指称语义
在计算机科学中，指称语义（Denotational semantics）是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如网络和并发系统。 指称语义起源于 克里斯托弗·斯特雷奇 和 Dana Scott 在1960年代的工作。在 Strachey 和 Scott 最初开发的时候，指称语义把计算机程序的指称(意义)解释为映射输入到输出的函数。后来证明对于允许包含递归定义的函数和数据结构，这样的元素的程序的指称(意义)定义太受限制了。为了解决这个困难，Scott 介入了基于域的指称语义的一般性方法。后来的研究者介入了基于幂域的方法，来解决并发系统的语义的问题。 粗略的说，指称语义关注找到代表程序所做所为的数学对象。这种对象的搜集叫做域。例如，程序(或程序段)可以被偏函数，或演员事件图想定，或用环境和系统之间的博弈表示: 它们都是域的一般性例子。 指称语义的一个重要原则是“语义应当是复合性的”: 程序段的指称应当建立自它的子段的指称。最简单的例子是: “3 + 4”的意义确定自“3”、“4”和“+”的意义。 指称语义最初被开发为把函数式和顺序式程序建模为映射输入到输出的数学函数的框架。本文第一节描述在这个框架内开发的指称语义。后续章节处理多态、并发等问题。.
新！!: 指令式編程和指称语义 · 查看更多 »
有类型λ演算
有类型 lambda 演算是使用 lambda 符号（\lambda）指示匿名函数抽象的一种有类型的形式化。有类型 lambda 演算是基础编程语言并且是有类型的函数式编程语言如 ML 和 Haskell 和更间接的指令式编程语言的基础。它们通过 Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴的类的内部语言，比如简单类型 lambda 演算是笛卡尔闭范畴（CCC）的语言。 传统上，有类型 lambda 演算被看作无类型lambda演算的精细化。更现代的观点把有类型 lambda 演算看做更基础的理论，而把无类型 lambda 演算看作它的只有一个类型的特殊情况。.
新！!: 指令式編程和有类型λ演算 · 查看更多 »
重定向到这里：
命令式程式設計，命令式编程，命令式编程语言，指令式编程，指令式编程语言，直譯式程式設計。
