Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

SETL

You are here: irt.org | FOLDOC | SETL

SET Language. A very high level language based on sets, designed by Jack Schwartz at the Courant Institute in the early 1970s. It was possibly the first use of list comprehension notation.

Data types include sets (unordered collections), tuples (ordered collections) and maps (collections of ordered pairs). Expressions may include quantifiers ('for each' and 'exists'). The first Ada translator was written in SETL.

See also ISETL, ProSet, SETL2.

["Programming With Sets - An Introduction to SETL", Jacob T. Schwartz et al, Springer 1986].

Nearby terms: set comprehension « Set Equation Transformation System « Setext « SETL » SETL2 » SETL/E » Set Priority Level

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb