集論編程

集論編程是一種基於數學集論的編程范型。基於該范型的程式語言的其中一個示例是SETL 。集論編程的目標是顯著提高程式設計師編程的效率，使程序可讀和清晰。

帶有基於集合的算子的語言

• Bandicoot
• Claire
• LINQ - 到.NET語言比如C#、F#和VB.NET的擴展
• Matlab
• Miranda
• SQL
• SETL