[Job au 1er sept.][OCaml][Service public][Noisy-le-Grand][Impôts]

Vous aimez la programmation fonctionnelle et les compilateurs ? Vous en avez marre des offres d'emploi dans la blockchain ?

Ça tombe bien, j'ai ce qu'il vous faut ! 🧵⬇️ pour les infos et RT pour diffuser large ! Il y a deux ans, j'ai lancé un grand projet de modernisation du calcul informatique de calcul de l'impôt sur le revenu à la Direction Générale des Finances Publiques (DGFiP), en partenariat avec Inria:

➡️inria.fr/fr/mlang-moder…

➡️blog.merigoux.ovh/fr/2021/03/01/…

After the #ProLaLa'2022 conference and its wonderful talks, I had the chance to discuss with a lot of #rulesascode luminaries, including @gsileno @mengwong @LThorneMcCarty. With these new insights, here's my take on the state of the art ⬇️ 🧵 [1/15] The logic programming community has probably already discovered all the major challenges, paradoxes and schools of thoughts about translating law into code from the 70's to the 90's. For new PhD students, reading these papers is absolutely necessary!

This year, popl22.sigplan.org has a brand new workshop: Programming Languages and the Law (ProLala)! Please submit extended abstracts about legal language design, static analysis, program synthesis or verification before Oct 28th. More details at popl22.sigplan.org/home/prolala-2… Law at large underpins modern society, codifying and governing many aspects of citizens’ daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions.

Quatre années après sa première publication par la DGFiP, j'ai le plaisir d'annoncer que le code source permettant de calculer l'impôt sur le revenu (IR) est finalement réutilisable !

Pour utiliser ce calcul dans votre application informatique, direction gitlab.inria.fr/verifisc/mlang Il nous aura fallu 1 an et demi avec mon co-auteur Raphaël Monat pour identifier ce qui manquait au code publié pour être réutilisable, et pallier à cette situation.

Désormais, grâce à notre projet Mlang, on peut simuler le calcul de l'IR sans passer par la DGFiP !