Теоретико-множественное программирование
Появление
Теоретико-множественное программирование — это парадигма программирования, основанная на математической теории множеств . Одним из примеров языка программирования , основанного на этой парадигме, является SETL . Целью теоретико-множественного программирования является значительное повышение скорости и производительности программистов, а также повышение ясности и читаемости программ. [1]
множествах операторами , Языки с основанными на
Ссылки [ править ]
- ^ Дж. Т. Шварц, РБК Дьюар, Э. Дубинский и Э. Шенберг. Программирование с помощью наборов, введение в SETL . Спрингер-Верлаг, 1986.