Movatterモバイル変換

Set theoretic programming

From Wikipedia, the free encyclopedia

Set theoretic programming is aprogramming paradigm based on mathematicalset theory. One example of aprogramming language based on this paradigm isSETL. 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

[edit]

Bandicoot
Claire
LINQ - Extensions to .NET languages such asC#,F#, andVB.NET
Matlab
Miranda
SQL
SETL

References

[edit]

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

Programming paradigms

Imperative

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

Declarative

Functional	Recursive Anonymous function (Partial application) Higher-order 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 andfilters Probabilistic Quantum Scientific Scripting Set-theoretic Simulation Stack-based System Tactile Templating Transformation (Graph rewriting,Production,Pattern) Visual

Concurrent,
parallel

Metaprogramming

Separation
of concerns

Comparisons/Lists

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

Thisprogramming-language-related article is astub. You can help Wikipedia byadding missing information.

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

Categories:

Hidden category:

All stub articles

[8]ページ先頭