CatalaLang/catala : un langage de programmation pour la spécification juridique

• Catala est un langage de programmation spécifique à un domaine, conçu pour générer des algorithmes à partir de textes juridiques.
• Ce langage est adapté à la programmation des lois socio-fiscales, afin de permettre l’implémentation de mécanismes socio-fiscaux complexes avec un haut niveau de fidélité entre le code et la loi.
• Ce processus consiste à rassembler toutes les lois, décrets administratifs et jurisprudences antérieures pertinents, puis à annoter le texte avec la sémantique du code.
• Le compilateur Catala peut générer une version PDF de l’implémentation lisible par les juristes, conçue pour pouvoir être relue et certifiée exacte par des experts du domaine, par exemple des avocats.
• La structure logique de Catala imite la structure logique du droit, ce qui le rend particulièrement adapté à la programmation juridique en intégrant la logique de défaut comme fonctionnalité de premier ordre.
• Catala est proposé sous forme de package opam et peut être installé sur une machine où opam est installé.
• Le langage permet d’ajouter des backends personnalisés sans modifier le code source du compilateur Catala.
• Catala inclut Catleg, un utilitaire en ligne de commande qui s’intègre à LégiFrance, le dépôt officiel des documents juridiques français.
• Le langage porte le nom de Pierre Catala, professeur de droit qui a été un pionnier de la legaltech française en créant Juris-Data, une base de données informatique de cas juridiques.
• Catala est un projet de recherche d’Inria, l’institut national français de recherche en informatique, et il est actuellement en développement, certaines fonctionnalités étant encore instables.

[GN⁺]

Commentaires sur Hacker News

• CatalaLang/catala est un langage de programmation conçu pour les spécifications juridiques.
• Des commentateurs expriment leur enthousiasme quant au potentiel de ce type de langage et suggèrent que, si les lois étaient rédigées sous cette forme, cela pourrait améliorer la compréhension du public.
• Le concept d’un langage de programmation pour le droit a été évoqué dans le livre de Greg Bear Moving Mars sous le nom de « Legal Logic ».
• Certains proposent d’intégrer des cas de test et des model checkers afin de garantir l’exactitude et l’efficacité des lois écrites dans ce langage.
• Un article décrivant ce langage a été publié, et un court résumé vidéo est également disponible.
• Certains commentateurs proposent un format standardisé de suite de tests pour les lois afin de clarifier leur intention et d’éviter les malentendus.
• Un débat existe sur le rôle de l’ambiguïté dans le droit : certains soutiennent qu’elle est fondamentale et nécessaire, tandis que d’autres pensent qu’un langage de programmation pourrait aider à éliminer les ambiguïtés indésirables.
• Certains utilisateurs soulignent que les langages de programmation peuvent aider à comprendre les textes juridiques, mais pas les tâches complexes de mise en balance, qui requièrent toujours un jugement humain.
• D’autres initiatives similaires sont également mentionnées, comme Logical English, un « langage de programmation pour le droit et l’éthique ».
• L’idée d’un système de gestion de versions pour les lois est proposée, incluant la définition d’objectifs clairs au moment de leur création et l’établissement de contraintes à examiner.