Теоретико-множественное программирование - Википедия - Set theoretic programming

Теоретико-множественный программирование - это парадигма программирования на основе математических теория множеств. Один пример язык программирования на основе этой парадигмы SETL. Целью теоретико-множественного программирования является значительное повышение скорости и производительности программиста, а также повышение ясности и удобочитаемости программ.[1]

Языки с операторами на основе наборов

Рекомендации

  1. ^ J.T. Шварц, Р. Дьюар, Э. Дубинский и Э. Шенберг. Программирование с помощью наборов, введение в SETL. Спрингер-Верлаг, 1986.