Set theoretic programming

Set theoretic programming is a programming paradigm based on mathematical set theory.One example of a programming language based on this paradigm is SETL.The goal of set theoretic programming is to improve programmer speed and productivity significantly, and also enhance program clarity and readability.This programming-language-related article is a stub.You can help Wikipedia by expanding it.
programming paradigmset theoryprogramming languageClaireVB.NETMatlabMirandaprogramming-language