集論編程

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

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

• Bandicoot
• Claire（英語：Claire (programming language)）
• LINQ - 到.NET語言比如C#、F#和VB.NET的擴展
• Matlab
• Miranda
• SQL
• SETL