GNU ETL Om — History (setl.org)

P.S. Quelqu’un(e) sait ce que signifie le “Om” dans le titre ?

C'est chouette !

Je viens de découvrir son existence, en même temps que d’apprendre qu’il a été le langage utilisé pour la toute première implémentation d’un compilateur Ada (au passage, c’était hier le 197‑ième anniversaire de Ada Lovelace).

C’est un langage dont les deux principaux types de données sont les ensembles (non‑ordonnés, de pures ensembles) et les listes. Les ensembles de listes sont permis. Il me fait penser à quelque chose qui pourrait être mis en balance avec Lua, qui m’a déçut un peu (ce n’est pas le sujet ici).

Voir : SETL (en.wikipedia.org).
Manuel du langage : setlprog.ps.gz (nyu.edu). Par Robert Dewar (impliqué dans Ada également).
Implémentation de référence : setl.org (ce n’est plus la New York University qui le maintient).

Note : dans l’article de Wikipédia présentant SETL, ce qu’ils appellent “power set”, signifie en français « ensemble des parties d’un ensemble ».

Vous le connaissiez déjà ce SETL ?