集論編程

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