首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
Category
:
学术的编程语言
语言
监视
在
计算机科学
和
程序设计语言理论
中有影响的编程语言。其中一些只在计算机科学家中广泛使用,甚至可能缺乏实际实现,只被用于研究它们的理论上的性质。
分类“学术的编程语言”中的页面
以下23个页面属于本分类,共23个页面。
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語言
Plankalkül
R
Racket
S
SASL语言
Scheme
SETL