跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
分類索引
特色內容
新聞動態
近期變更
隨機條目
資助維基百科
說明
說明
維基社群
方針與指引
互助客棧
知識問答
字詞轉換
IRC即時聊天
聯絡我們
關於維基百科
搜尋
搜尋
分類
:
學術的程式語言
5 種語言
English
فارسی
Русский
Türkçe
Українська
編輯連結
分類
討論
臺灣正體
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
閱讀
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
編輯
檢視歷史
一般
連結至此的頁面
相關變更
上傳檔案
特殊頁面
固定連結
頁面資訊
取得短網址
下載QR碼
維基數據項目
列印/匯出
下載為PDF
可列印版
其他專案
外觀
移至側邊欄
隱藏
說明
維基百科,自由的百科全書
在
計算機科學
和
程序設計語言理論
中有影響的程式語言。其中一些只在計算機科學家中廣泛使用,甚至可能缺乏實際實現,只被用於研究它們的理論上的性質。
「學術的程式語言」分類的頁面
此分類共有 22 個頁面,以下顯示其中 22 個頁面。
A
Agda
ALGOL 60
ALGOL 68
C
CLU
Curry語言
F
FL语言
FP语言
H
Haskell
Hope语言
I
ISWIM
J
Joy语言
L
LISP
LispKit Lisp
Lucid语言
M
ML语言
N
NPL语言
P
PAL语言
Pascal語言
R
Racket
S
SASL语言
Scheme
SETL
分類
:
程序設計語言
程序設計語言理論