SETL
SETL é uma linguagem de programação de "altíssimo nível", baseada na teoria matemática de conjuntos. Foi originalmente desenvolvida por Jacob Theodore Schwartz no Courant Institute of Mathematical Sciences na NYU no fim dos anos 1960.

SETL fornece dois tipos básicos de dados agregados: "conjuntos não-ordenados", e "sequências" (este último também chamado de "tuplas"). Os elementos dos conjuntos e tuplas podem ser de qualquer tipo arbitrário, incluindo conjuntos e tuplas eles mesmos. "Mapeamentos" (Maps) são fornecidos como conjuntos de "pares" (ou seja, tuplas de dimensão 2) e podem ter domínio arbitrário e tipos de intervalos arbitrários. Operações primitivas em SETL incluem pertinência de conjuntos, união, interseção e construção de conjuntos de potência, entre outras.

A linguagem SETL fornece expressões booleanas quantificadas construídas utilizando-se quantificadores universais e quantificadores existênciais da lógica de primeira ordem.

A linguagem SETL fornece diversos iterators para produzir uma variedade de laços sobre estruturas de dados agregados.

Na década de 1970, SETL foi portada para o BESM-6, ES EVM e outros sistemas de informática russos.

David Bacon, que antes era um estudante de PhD na NYU com Jack Schwartz ainda mantém ativamente o compilador SETL e seu website.
Q9143
linguagem de programação
Concept
Q92951
Jacob Theodore Schwartz
PER
Q946028
Courant Institute of Mathematical Sciences
ORG
Q49210
NYU
LOC
Q126695
quantificadores universais
Concept
Q773483
quantificadores existênciais
Concept
Q4055684
lógica de primeira ordem
Concept
Q1326388
iterator
Concept
None
laços
UNK
None
BESM-6
UNK
None
ES EVM
UNK
Q49210
NYU
LOC
None
Jack Schwartz
UNK
Q2205923
SETL
MEDIA
Q2205923
SETL
MEDIA
Q2205923
SETL
MEDIA
Q2205923
SETL
MEDIA
Q2205923
SETL
MEDIA
Q2205923
SETL
MEDIA
Q2205923
SETL
MEDIA
+1960^^http://www.w3.org/2001/XMLSchema#decimal
1960
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+1970^^http://www.w3.org/2001/XMLSchema#decimal
1970
NUMBER
-6^^http://www.w3.org/2001/XMLSchema#decimal
-6
NUMBER
instance of
developer
employer
part of
subsidiary