SETL2

Paradigma| multiparadigma, imperativo, orientado a objeto
Criado por| W. Kirk Snyder[1] no Courant Institute of Mathematical Sciences
Estilo de tipagem| dinâmica
Influenciada por| SETL

SETL2 é uma linguagem de programação de "altíssimo nível", desenvolvida por W. Kirk Snyder[1], descendente da linguagem de J. T. Schwartz, SETL.[2] É uma linguagem voltada a programação de conjuntos. SETL2 acrescenta a SETL uma sintaxe e um escopo de nome mais próximo das mais recentes linguagens imperativas, estrutura de blocos completa, e procedimentos como objetos de primeira classe.[2]

A linguagem SETL2 permite que inteiros possam ter tamanho quase infinito, limitados apenas pela quantidade de memória disponível. Isto torna a linguagem particularmente útil para problemas matemáticos. A linguagem fornece um mecanismo de tuplas que permite tipos heterogêneos com tamanho dinâmico.[3]

## Ver também

[editar | editar código-fonte]

* SETL

## Referências

1. ↑ a b Bob Paige. «Analysis and Transformation of Set-Theoretic Languages». Courant Institute, New York University. Consultado em 4 de julho de 2010
2. ↑ a b Snyder, W. Kirk (1990). «The SETL2 Programming Language (1990)». Courant Institute of Mathematical Sciences, New York University. Technical Report - Courant Institute of Mathematical Sciences (em inglês) (490). doi:10.1.1.41.2802 Verifique `|doi=` (ajuda). Consultado em 4 de julho de 2010
3. ↑ APPLEBY, Doris; VANDEKOPPLE, Julius J. (1997). Programming Languages. Paradigm and Practice (em inglês) 2ª ed. New York: McGraw-Hill. pp. 31,50. ISBN 0-07-005315-4  !CS1 manut: Nomes múltiplos: lista de autores (link)

## Ligações externas

[editar | editar código-fonte]

* The SETL2 Programming Language (1990)
* Exemplos de programas em SETL2 e instruções de como fazer o download na NYU
* Curso de SETL2

| Este artigo sobre programação de computadores é um esboço. Você pode ajudar a Wikipédia expandindo-o.

* v
* d
* e

|

*[v]: Ver esta predefinição
*[d]: Discutir esta predefinição
*[e]: Editar esta predefinição