SETL

SETL est un langage de programmation de très haut niveau basé sur la théorie mathématique des ensembles. Il a été à l'origine développé près Jacob T. Schwartz au Courant Institute of Mathematical Sciences de la NYU. Il existe une variante nommée ISETL (de l'anglais Interactive SET Language) permettant de faire de la programmation sur des ensembles mathématiques. SETL fournit deux types de données de base : Les ensembles non ordonnés et les suites (appelées également tuples). Les éléments des ensembles et des tuples peuvent être de n'importe quel type arbitraire, y compris les ensembles et les tuples eux-mêmes. Les fonctions sont fournis en tant qu'ensembles de paires (c.-à-d., tuples de longueur 2) et peuvent avoir des domaines et de codomaines de types arbitraires. Les opérations primitives dans SETL incluent, entre d'autres, l'appartenance ensembliste, l'union, l'intersection et la puissance d'ensembles. SETL permet d'exprimer des expressions booléennes quantifiées construites en utilisant le calcul des prédicats du premier ordre, les quantificateurs universels et quantificateurs existentiels. SETL fournit aussi plusieurs itérateurs pour produire diverses boucles sur des structures de données.