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

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

編輯

參考

編輯
  1. ^ JT Schwartz,RBK Dewar,E。Dubinsky and E. Schonberg。 使用集論編程,對SETL的介紹頁面存檔備份,存於互聯網檔案館) 。 Springer-Verlag,1986。