Name: Craft Talk — Pourquoi et comment développer un (ubiquitous) langage
Start: 2021-10-26T19:00:00+02:00
End: 2021-10-26T21:00:00+02:00

Évènement diffusé en direct sur notre chaîne Twitch (https://www.twitch.tv/swcraftlyon). N'hésitez pas à poser des questions nous aurons le temps d'y répondre.

=========================================

Catala, un langage fonctionnel dédié pour formaliser le droit fiscal, par Denis Merigoux

Un certain nombre d'administrations et d'entreprises maintiennent des programmes informatiques afin de calculer des montants d'impôt, allocations, cotisations, pensions, etc. à partir de données de leurs usagers. Transformer les textes de loi qui régissent ces calculs en code est une tâche très difficile, car elle requiert une double expertise juridique et informatique. De plus, la complexité inhérente des textes de loi et leur style de rédaction empêche activement la constitution d'une base de code saine et maintenable.
En s'inspirant des travaux de Sarah Lawsky, professeure de droit fiscal et titulaire d'un doctorat en logique, le langage dédié Catala propose un nouveau processus de transformation de la loi en code, basé sur la programmation littéraire et en binôme. Le compilateur de Catala, basé sur une sémantique formelle du langage, permet également l'intégration du code dans virtuellement n'importe quelle architecture legacy grâce à la compilation. Le projet est soutenu par une équipe interdisciplinaire comprenant notamment Denis Merigoux, doctorant en informatique à l'Inria et Liane Huttner, doctorante en droit à Paris I.

Denis Merigoux est doctorant à l'Inria au sein de l'équipe Prosecco, sous la supervision de Karthikeyan Bhargavan et Jonathan Protzenko, spécialisé dans l'étude des langages de programmations et de la vérification formelle. Son sujet de thèse porte sur la vérification déductive de programmes écrits dans le langage Rust, au moyen d'une logique de séparation semi-automatisée à l'intérieur du framework F*. En parallèle de ce sujet principal, Denis s'intéresse à la manière d'appliquer les méthodes formelles dans le domaine de l'informatique juridique

https://github.com/CatalaLang/catala

Colin DAMON

Software Crafters Lyon

Technology

Software Development

Extreme Programming

Computer Programming

Programming Languages

Learning

Functional Programming

Test Driven Development

Domain Driven Design

Design Patterns

Refactoring

Clean Code

Code Camps

Craft Talk — Pourquoi et comment développer un (ubiquitous) langage

Online event

Partager

Que révèlent vos 12 derniers mois sur Meetup à votre sujet ? Il est temps de revivre vos moments forts personnels !

Ne manquez pas votre <highlight>récapitulatif 2025 !</highlight>

Software Crafters Lyon

Craft Talk — Pourquoi et comment développer un (ubiquitous) langage

Software Crafters Lyon

Détails

Évènement diffusé en direct sur notre chaîne Twitch (https://www.twitch.tv/swcraftlyon). N'hésitez pas à poser des questions nous aurons le temps d'y répondre.

Les membres s'intéressent également à