跳至內容

集論編程

維基百科,自由的百科全書

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

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

[編輯]

參考

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