跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
外观
创建账号
登录
个人工具
创建账号
登录
未登录编辑者的页面
了解详情
贡献
讨论
目录
移至侧栏
隐藏
序言
1
带有基于集合的算子的语言
2
参考
开关目录
集论编程
2种语言
العربية
English
编辑链接
条目
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
引用此页
获取短链接
下载二维码
维基数据项目
打印/导出
下载为PDF
打印页面
外观
移至侧栏
隐藏
维基百科,自由的百科全书
集论编程
是一种基于
数学
集论
的
编程范型
。基于该范型的
编程语言
的其中一个示例是
SETL
。集论编程的目标是显著提高
程序员
编程
的
效率
,使
程序
可读和清晰。
[
1
]
带有基于集合的算子的语言
[
编辑
]
Bandicoot
Claire
(
英语
:
Claire (programming language)
)
LINQ
- 到.NET语言比如
C#
、
F#
和
VB.NET
的扩展
Matlab
Miranda
SQL
SETL
参考
[
编辑
]
^
JT Schwartz,RBK Dewar,E。Dubinsky and E. Schonberg。
使用集论编程,对SETL的介绍
(
页面存档备份
,存于
互联网档案馆
) 。 Springer-Verlag,1986。
这是一篇關於
電腦程式語言
的
小作品
。您可以通过
编辑或修订
扩充其内容。
查
论
编
分类
:
編程典範
隐藏分类:
有未审阅翻译的页面
全部小作品
程式語言小作品