SETL
Sign in to saveSETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. It was originally developed at the New York University (NYU) Courant Institute of Mathematical Sciences in the late 1960s, by a group including (Jack) Jacob T. Schwartz, R.B.K. Dewar, and E. Schonberg. Schwartz is credited with designing the language.
Wikidata facts
- Instance of
- programming language
- Official website
- setl.org
Show 4 more facts
- programming paradigm
- imperative programming
- typing discipline
- dynamic typing
- inception
- 1969-01-01
- influenced by
- ALGOL
via Wikidata · CC0
~3 min read
Encyclopedic overview
7 sectionsContents
- Design
- Examples
- Uses
- Language variants
- References
- Further reading
- External links
SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. It was originally developed at the New York University (NYU) Courant Institute of Mathematical Sciences in the late 1960s, by a group including (Jack) Jacob T. Schwartz, R.B.K. Dewar, and E. Schonberg. Schwartz is credited with designing the language.
== Design == SETL provides two basic aggregate data types: (unordered) sets, and tuples. The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves, except the undefined value om (sometimes capitalized: OM). Maps are provided as sets of pairs (i.e., tuples of length 2) and can have arbitrary domain and range types. Primitive operations in SETL include set membership, union, intersection, and power set construction, among others.
Excerpted from Wikipedia’s “SETL” article, available under the CC BY-SA 4.0 licence.