集论编程：修订间差异
删除的内容 添加的内容
Dominic3203（留言 | 贡献） 小 使用HotCat已移除Category:陣列編程語言 |
补救1个来源，并将0个来源标记为失效。) #IABot (v2.0.8.6 |
||
| 第1行： | 第1行： | ||
'''集论编程'''是一种基于[[数学]][[集论|集论]]的[[编程范型]]。基于该范型的[[编程语言]]的其中一个示例是[[SETL]] 。集论编程的目标是显著提高[[程序员]][[编程]]的[[效率律|效率]]，使[[程序]]可读和清晰。<ref> |
'''集论编程'''是一种基于[[数学]][[集论|集论]]的[[编程范型]]。基于该范型的[[编程语言]]的其中一个示例是[[SETL]] 。集论编程的目标是显著提高[[程序员]][[编程]]的[[效率律|效率]]，使[[程序]]可读和清晰。<ref>JT Schwartz，RBK Dewar，E。Dubinsky and E. Schonberg。 [https://books.google.com/books?id=4pfbBwAAQBAJ&printsec=frontcover#v=onepage&q&f=false 使用集论编程，对SETL的介绍] {{Wayback|url=https://books.google.com/books?id=4pfbBwAAQBAJ&printsec=frontcover#v=onepage&q&f=false |date=20191216055928 }} 。 Springer-Verlag，1986。</ref> |
||
== 带有基于集合的算子的语言 == |
== 带有基于集合的算子的语言 == |
||
2022年3月30日 (三) 23:58的最新版本
集论编程是一种基于数学集论的编程范型。基于该范型的编程语言的其中一个示例是SETL 。集论编程的目标是显著提高程序员编程的效率，使程序可读和清晰。[1]
带有基于集合的算子的语言[编辑]
参考[编辑]
- ^ JT Schwartz，RBK Dewar，E。Dubinsky and E. Schonberg。 使用集论编程，对SETL的介绍 （页面存档备份，存于互联网档案馆） 。 Springer-Verlag，1986。
 | 这是一篇關於電腦程式語言的小作品。您可以通过编辑或修订扩充其内容。 |