跳至內容

集論編程

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

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

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

參考

  1. ^ JT Schwartz，RBK Dewar，E。Dubinsky and E. Schonberg。 使用集論編程，對SETL的介紹 （頁面存檔備份，存於網際網路檔案館） 。 Springer-Verlag，1986。
取自「https://zh.wikipedia.org/w/index.php?title=集论编程&oldid=70902990」