We are working to restore the Unionpedia app on the Google Play Store
OutgoingIncoming
🌟We've simplified our design for better navigation!
Instagram Facebook X LinkedIn
Your own Unionpedia with your logo and domain, from 9.99 USD/month
Create my Unionpedia

Set theoretic programming

Index Set theoretic programming

Set theoretic programming is a programming paradigm based on mathematical set theory. [1]

Table of Contents

  1. 12 relations: C Sharp (programming language), Claire (programming language), F Sharp (programming language), Language Integrated Query, MATLAB, Miranda (programming language), Programming language, Programming paradigm, Set theory, SETL, SQL, Visual Basic (.NET).

  2. Set theoretic programming languages

C Sharp (programming language)

C# is a general-purpose high-level programming language supporting multiple paradigms.

See Set theoretic programming and C Sharp (programming language)

Claire (programming language)

Claire is a high-level functional and object-oriented programming language with rule processing abilities.

See Set theoretic programming and Claire (programming language)

F Sharp (programming language)

F# (pronounced F sharp) is a general-purpose, high-level, strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods.

See Set theoretic programming and F Sharp (programming language)

Language Integrated Query

Language Integrated Query (LINQ, pronounced "link") is a Microsoft.NET Framework component that adds native data querying capabilities to.NET languages, originally released as a major part of.NET Framework 3.5 in 2007.

See Set theoretic programming and Language Integrated Query

MATLAB

MATLAB (an abbreviation of "MATrix LABoratory") is a proprietary multi-paradigm programming language and numeric computing environment developed by MathWorks.

See Set theoretic programming and MATLAB

Miranda (programming language)

Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.

See Set theoretic programming and Miranda (programming language)

Programming language

A programming language is a system of notation for writing computer programs.

See Set theoretic programming and Programming language

Programming paradigm

A programming paradigm is a relatively high-level way to conceptualize and structure the implementation of a computer program. Set theoretic programming and programming paradigm are programming paradigms.

See Set theoretic programming and Programming paradigm

Set theory

Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects.

See Set theoretic programming and Set theory

SETL

SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. Set theoretic programming and SETL are set theoretic programming languages.

See Set theoretic programming and SETL

SQL

Structured Query Language (SQL) (pronounced S-Q-L; historically "sequel") is a domain-specific language used to manage data, especially in a relational database management system (RDBMS).

See Set theoretic programming and SQL

Visual Basic (.NET)

Visual Basic (VB), originally called Visual Basic.NET (VB.NET), is a multi-paradigm, object-oriented programming language, implemented on.NET, Mono, and the.NET Framework.

See Set theoretic programming and Visual Basic (.NET)

See also

Set theoretic programming languages

References

[1] https://en.wikipedia.org/wiki/Set_theoretic_programming

Also known as Set theoretic programming languages.