Atitit 程式語言的分類 v2

目錄

1.1. 基於代數劃分   第一代。。。第三代。。4gl。。5gl自然語言 1

1.2. 按照程式設計正規化分類  . 命令式語言 .函式式語言...邏輯式語言 1

1.3. 命令式  vs 宣告式（dsl 函式式） 3

1.4. 按照是否編譯 編譯型語言  解釋性語言 3

1.5. 面向物件”  “面向過程” 3

1.6. 視覺化語言 vs 文字程式碼 3

1.7. 標記語言 標籤式語言 vs  非標記性語言 3

1.8. 領域專用語言(DSL) vs 通用語言 3

1.9. 表示式語言(Expression Language)簡稱EL 3

2. ref 3

1. 1. 基於代數劃分   第一代。。。第三代。。4gl。。5gl自然語言

1. 1. 按照程式設計正規化分類  . 命令式語言 .函式式語言...邏輯式語言

命令式語言

　計算機體系結構是影響語言設計的一個重要因素，目前的大多數語言都是圍繞著馮諾依曼結構設計的，這些語言稱為“命令式語言”。

　　　　　　命令式語言的核心特徵：

　　　　　　（1）變數（馮諾依曼結構的儲存單元）

　　　　　　（2）賦值語句（資料傳輸）

　　　　　　（3）迭代形式的迴圈（馮諾依曼結構中實現迴圈的最高效形式）

函式式程式語言的目的是儘可能的模擬數學函式。

　　　　　　函式式語言的核心特徵：

　　　　　　（1）以“函式”為首，如同命令式語言中的“變數”，函式可以賦值給其他變數，可以作為其他函式的引數，或者作為其他函式的返回值。

　　　　　　（2）不修改變數的值

　　　　　　（3）只有表示式，沒有語句。此處的語句指的是沒有返回值得某些操作。

　　　　　　（4）引用透明（Referential transparency），函式的執行不依賴與外部變數或“狀態”，簡單的說就是，同一個輸入（引數），總是會產生同一個輸出（返回值），這與數學函式的特徵很一致。命令式語言因為全域性變數等的存在，就無法做到這一點。

　　　　　　（5）對比命令式語言，遞迴形式的迴圈

邏輯程式設計語言：基於邏輯符號邏輯的語言稱為邏輯程式設計語言，或者宣告性語言

　　　　　　邏輯程式設計：用一種符號邏輯作為程式設計語言來進行程式設計，通常稱為邏輯程式設計　　　　

　　　　　　邏輯式程式語言是基於規則的程式語言，程式是事實和規則集，通過符號邏輯來表示程式，並使用邏輯推導過程來生成結果。

1. 1. 命令式  vs 宣告式（dsl 函式式）
   2. 按照是否編譯 編譯型語言  解釋性語言

1. 1. 面向物件”  “面向過程”
   2. 視覺化語言 vs 文字程式碼
   3. 標記語言 標籤式語言 vs  非標記性語言 

（3）標記語言（markup language）（HTML、XML等）

　　　　　　這種語言，不算做程式語言；

　　　　　　但是某些標記語言（比如HTML和XML）的擴充套件中，也加入了一些程式設計的功能——標記與程式設計混合語言（比如JSP標準標籤庫中的JSTL）

1. 1. 領域專用語言(DSL) vs 通用語言
   2. 表示式語言(Expression Language)簡稱EL
2. ref

函數語言程式設計語言-布布扣-bubuko.com.html