SETL

SETL ( SET Language ) es un lenguaje de programación de muy alto nivel ^{[ 1 ]} basado en la teoría matemática de conjuntos . ^{[ 2 ] [ 3 ]} Fue desarrollado originalmente en el Instituto Courant de Ciencias Matemáticas de la Universidad de Nueva York (NYU) a finales de la década de 1960, por un grupo que incluía a (Jack) Jacob T. Schwartz , ^{[ 1 ] [ 3 ]} Robert Dewar y E. Schonberg. ^{[ 1 ]} A Schwartz se le atribuye el diseño del lenguaje. ^{[ 4 ]}

SETL proporciona dos tipos básicos de datos agregados: conjuntos (no ordenados) y tuplas . ^{[ 1 ] [ 2 ] [ 5 ]} Los elementos de los conjuntos y las tuplas pueden ser de cualquier tipo arbitrario, incluidos los propios conjuntos y tuplas, excepto el valor indefinido om ^{[ 1 ]} (a veces escrito con mayúscula: OM ). ^{[ 6 ]} Los mapas se proporcionan como conjuntos de pares (es decir, tuplas de longitud 2) y pueden tener tipos de dominio y rango arbitrarios. ^{[ 1 ] [ 5 ]} Las operaciones primitivas en SETL incluyen pertenencia a conjuntos, unión, intersección y construcción de conjuntos potencia, entre otras. ^{[ 1 ] [ 6 ]}

SETL proporciona expresiones booleanas cuantificadas construidas utilizando los cuantificadores universales y existenciales de la lógica de predicados de primer orden . ^{[ 1 ] [ 6 ]}

SETL proporciona varios iteradores para producir una variedad de bucles sobre estructuras de datos agregadas. ^{[ 1 ] [ 7 ]}

Imprime todos los números primos del 2 al N :

print([n en [2..N] | para todo m en {2..n - 1} | n mod m > 0]);

La notación es similar a la comprensión de listas .

Definición de un procedimiento factorial:

procedimiento factorial(n); -- calcula el factorial de n! Devuelve si n = 1 entonces 1 sino n * factorial(n - 1) fin si; factorial final;

Una expresión SETL más convencional para el diseño factorial (n > 0):

*/[1..n]

Las implementaciones de SETL estaban disponibles en el CDC 6600 , CDC Cyber , DEC VAX , IBM/370 , la estación de trabajo Sun y Apollo . ^{[ 8 ]} En la década de 1970, SETL se adaptó al BESM-6 , ES EVM y otros sistemas informáticos rusos. ^{[ 9 ]}

SETL se utilizó para una implementación temprana del lenguaje de programación Ada , denominada traductor NYU Ada/ED. ^{[ 10 ]} Posteriormente, esta se convirtió en la primera implementación validada de Ada, certificada el 11 de abril de 1983. ^{[ 11 ]}

Según Guido van Rossum , " El predecesor de Python , ABC , se inspiró en SETL: ¡ Lambert Meertens pasó un año con el grupo SETL en la NYU antes de idear el diseño final de ABC!" ^{[ 12 ]}

SET Language 2 (SETL2), un descendiente de SETL incompatible con versiones anteriores, fue creado por Kirk Snyder del Instituto Courant de Ciencias Matemáticas de la Universidad de Nueva York a finales de la década de 1980. ^{[ 13 ]} Al igual que su predecesor, se basa en la teoría y la notación de conjuntos finitos, pero también ha recibido influencias en su sintaxis y estilo del lenguaje Ada. ^{[ 13 ]}

El lenguaje SET interactivo (ISETL) es una variante de SETL utilizada en matemáticas discretas . ^{[ 14 ]}

GNU SETL es una utilidad de línea de comandos que implementa y extiende SETL. ^{[ 15 ]}

• Schwartz, Jacob T., "La teoría de conjuntos como lenguaje para la especificación y programación de programas". Instituto Courant de Ciencias Matemáticas, Universidad de Nueva York, 1970.
• Schwartz, Jacob T., "Sobre programación, un informe provisional sobre el proyecto SETL", Departamento de Ciencias de la Computación, Instituto Courant de Ciencias Matemáticas, Universidad de Nueva York (1973).
• Schwartz, Jacob T., Dewar, RBK, Dubinsky, E., y Schonberg, E., Programación con conjuntos: Una introducción a SETL , 1986. ISBN 0-387-96399-5.

• Sitio web oficial
• SETL en GitHub
• Programación en SETL y otras cosas
• Archivo de fuentes históricas de SETL