SETL
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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 Jack Schwartz au Courant Institute of Mathematical Sciences de la NYU.
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. Le 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.
Sommaire |
[modifier] Échantillon de code
Retourner tous les nombres premiers inférieurs à n :
NbPremiers := func(n); return {x: x in {2..n} | forall y in {2..x-1} | x mod y /=0}; end; NbPremiers(100);
La notation est semblable à la compréhension de liste.
[modifier] Historique
ABC le précurseur de Python a été inspiré par SETL à Lambert Meertens qui a passé une année avec le groupe de SETL à NYU avant de proposer la version finale d'ABC !
[modifier] Bibliographie
- Schwartz, Jacob T., "Set Theory as a Language for Program Specification and Programming". Courant Institute of Mathematical Sciences, New York University, 1970.
- Schwartz, Jacob T., "On Programming, An Interim Report on the SETL Project", Computer Science Department, Courant Institute of Mathematical Sciences, New York University (1973).
- Schwartz, Jacob T., Dewar, R.B.K., Dubinsky, E., and Schonberg, E., "Programming With Sets: An Introduction to SETL", 1986. ISBN 0-387-96399-5.
[modifier] Liens externes
- distribution binaire de SETL pour UNIX
- programmant en SETL et autres choses
- documentation de SETL
- le langage de programmation SETL par Robert Dewar