restyle Source code View original

Jump to content

Set theoretic programming

From Wikipedia, the free encyclopedia

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.^[1]

Languages With Set-Based Operators

Bandicoot
Claire
LINQ - Extensions to .NET languages such as C#, F#, and VB.NET
Matlab
Miranda
SQL
SETL

References

↑ J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, and E. Schonberg. Programming with sets, an introduction to SETL. Springer-Verlag, 1986.

Programming paradigms

Structured	Jackson structures Block-structured Modular Non-structured Procedural Programming in the large and in the small Design by contract Invariant-based Nested function
Object-oriented	Class-based, Prototype-based, Object-based Agent Immutable object Persistent Uniform function call syntax

Functional	Recursive Anonymous function (Partial application) Higher-order higher-order function Purely functional Total Strict GADTs Dependent types Functional logic Point-free style Expression-oriented Applicative, Concatenative Function-level, Value-level Monad
Dataflow	Flow-based Reactive (Functional reactive) Signals Streams Synchronous
Logic	Abductive logic Answer set Constraint (Constraint logic) Inductive logic Nondeterministic Ontology Probabilistic logic Query
Domain- specific language (DSL)	Algebraic modeling Array Automata-based (Action) Command (Spacecraft) Differentiable End-user Grammar-oriented Interface description Language-oriented List comprehension Low-code Modeling Natural language Non-English-based Page description Pipes and filters Probabilistic Quantum Scientific Scripting Set-theoretic Simulation Stack-based System Tactile Templating Transformation (Graph rewriting, Production, Pattern) Visual

Concurrent,
parallel

Metaprogramming

Attribute-oriented
Automatic (Inductive)
Dynamic
Extensible
Generic
Homoiconicity
Interactive
Macro (Hygienic)
Metalinguistic abstraction
Multi-stage
Program synthesis (Bayesian, by demonstration, by example, vibe coding)
Reflective
Self-modifying code
Symbolic
Template

Separation
of concerns

Comparisons/Lists

Comparison (multi-paradigm, object-oriented, functional), List (OO, by type)

This programming-language-related article is a stub. You can help Wikipedia by adding missing information.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Set_theoretic_programming&oldid=1330546026"

Hidden category:

All stub articles