集論編程

集論編程是一種基於數學集論的編程范型。基於該范型的程式語言的其中一個示例是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。

這是一篇關於電腦程式語言的小作品。您可以透過編輯或修訂擴充其內容。

取自 "https://zh.wikipedia.org/w/index.php?title=集论编程&oldid=70902990"