Deputy : Un langage typé dépendamment hébergé par Clojure

Deputy est un langage de programmation expérimental à typage dépendant, intégré à Clojure, avec des types de données inductifs. Il explore les implications d'un flux de travail interactif piloté par REPL basé sur Lisp, aussi bien pour la programmation que pour la vérification des types. Implémenté comme une bibliothèque Clojure, il permet aux programmeurs d'utiliser le langage hôte tout en travaillant au niveau des types. Cela permet des calculs de niveau type qui dépendent de valeurs, débloquant des modèles de programmation puissants. Il est important de noter que, malgré la riche sémantique dynamique des types, la vérification des types reste une opération purement effectuée au moment de la compilation.