IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Actualités Discussion :

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

  1. #1
    Chroniqueur Actualités
    Avatar de Anthony
    Homme Profil pro
    Rédacteur technique
    Inscrit en
    Novembre 2022
    Messages
    1 430
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Gironde (Aquitaine)

    Informations professionnelles :
    Activité : Rédacteur technique

    Informations forums :
    Inscription : Novembre 2022
    Messages : 1 430
    Par défaut CatalaLang/catala : un langage de programmation pour la spécification des lois
    CatalaLang/catala : un langage de programmation pour la spécification des lois, Catala permet d'annoter un texte législatif avec sa signification en termes de code

    Catala est un langage spécifique à un domaine permettant de dériver des algorithmes fidèles par construction à partir de textes législatifs.


    Concepts

    Catala est un langage de programmation adapté à la programmation littéraire législative socio-fiscale. En annotant chaque ligne du texte législatif avec sa signification en termes de code, on peut dériver une implémentation de mécanismes socio-fiscaux complexes qui bénéficie d'un haut niveau d'assurance quant à la fidélité au code-loi.

    Concrètement, il faut d'abord rassembler toutes les lois, tous les décrets, toutes les affaires antérieures, etc. qui contiennent des informations sur le mécanisme socio-fiscal que l'on veut mettre en œuvre. Ensuite, vous pouvez procéder à l'annotation du texte article par article, dans votre éditeur de texte favori :

    Nom : ScreenShotVSCode.png
Affichages : 179203
Taille : 66,7 Ko

    Une fois votre code terminé et testé, vous pouvez utiliser le compilateur Catala pour produire une version PDF de votre implémentation, lisible par un avocat. Le langage Catala a été spécialement conçu en collaboration avec des professionnels du droit afin de garantir que le code puisse être examiné et certifié correct par les experts du domaine, qui sont dans ce cas des avocats et non des programmeurs.

    Nom : CatalaScreenShot.png
Affichages : 4438
Taille : 80,7 Ko

    Le langage Catala est spécial parce que sa structure logique imite la structure logique du droit. En effet, le concept central de "définition sous conditions" qui s'appuie sur la logique par défaut a été formalisé par le professeur Sarah Lawsky dans son article A Logic for Statutes. Le langage Catala est le seul langage de programmation qui intègre la logique par défaut en tant que caractéristique de première classe, ce qui explique qu'il s'agisse du seul langage parfaitement adapté à la programmation législative lettrée.

    Pour commencer

    Pour commencer, le meilleur endroit est le tutoriel du langage. Une version française est également disponible, mais il se peut qu'elle ne soit pas synchronisée avec les dernières fonctionnalités du langage.

    Note : version de pointe
    Si vous êtes intéressé par la dernière version de développement, des artefacts préconstruits comprenant les binaires et la documentation de l'API sont disponibles à l'adresse suivante : https://catalalang.github.io/catala.

    Construction et installation

    Catala est disponible en tant que paquet opam ! Si opam est installé sur votre machine, exécutez simplement :


    Pour obtenir la dernière version de Catala, vous pouvez également exécuter la commande suivante

    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    opam pin add catala --dev-repo

    Cependant, si vous souhaitez obtenir les derniers développements du compilateur, vous voudrez probablement le compiler à partir des sources du dépôt ou utiliser nix. Pour cela, voir le readme dédié.

    Pour en savoir plus sur le langage et ses fonctionnalités, vous pouvez consulter le tutoriel officiel de Catala.

    Source : Catala

    Et vous ?

    Que pensez-vous du langage Catala et de ses capacités ?

    Trouvez-vous ce langage de programmation utile ou pertinent ?

    Voir aussi

    Le langage de programmation V 0.4 beta est disponible : simple, rapide, sûr, compilé, pour développer des logiciels faciles à maintenir, d'après son créateur

    Crumb : Un nouveau langage de programmation où il n'y a pas de mots-clés et où tout est une fonction

    GitLab affirme que l'utilisation de l'IA pour le codage informatique est "inéluctable" et que cela va perdurer, mais l'intégration de l'IA dans le génie logiciel introduit de nouveaux risques

    GitHub mécontente les développeurs en leur imposant des recommandations d'IA, ce qui modifie le flux de leur page d'accueil et les prive de leur choix
    Contribuez au club : corrections, suggestions, critiques, ... Contactez le service news et Rédigez des actualités

  2. #2
    Membre très actif
    Homme Profil pro
    Expertise comptable
    Inscrit en
    Décembre 2019
    Messages
    862
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 34
    Localisation : France, Hérault (Languedoc Roussillon)

    Informations professionnelles :
    Activité : Expertise comptable
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : Décembre 2019
    Messages : 862
    Par défaut
    ça fait une semaine que c'est dans ma to do list ! je l'installerais bien sur mon petit serveur maison qui tourne sur un pi 0 avec Diet Pi (nodered/grafana/influxDb/piHole en service principaux)

  3. #3
    Invité de passage
    Homme Profil pro
    Pensionné
    Inscrit en
    Juin 2024
    Messages
    1
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 57
    Localisation : Luxembourg

    Informations professionnelles :
    Activité : Pensionné
    Secteur : Administration - Collectivité locale

    Informations forums :
    Inscription : Juin 2024
    Messages : 1
    Par défaut Comment traiter les changements de valeurs à des dates précises ?
    Comment traiter les changements de valeurs à des dates précises ?

    Indexations/revalorisation d'un salaire (SMIC, SSM, ...).

    Changement dans les tableaux de calcul de valeurs....

    Un bloc par date ou dans le bloc la gestion des dates de débuts et de dates de fin.

    Il peut y avoir des recalculs de salaires, avec ancien salaire (pour la partie à rectifier) et nouveau salaire (Pour les heures du mois en cours).

    Y a t il des best practice pour cela ?

    Merci.

    Cordialement Flange.

Discussions similaires

  1. Réponses: 4
    Dernier message: 29/07/2007, 11h28
  2. Quel langage de programmation pour ce projet?
    Par yongblood dans le forum Windows
    Réponses: 6
    Dernier message: 11/01/2007, 02h41
  3. Quel langage de programmation pour des programmes simples ?
    Par Pierre.g dans le forum Langages de programmation
    Réponses: 18
    Dernier message: 22/11/2006, 15h22
  4. Aide sur choix de langage de programmation pour PC et Mac
    Par benouille69 dans le forum Langages de programmation
    Réponses: 4
    Dernier message: 11/11/2006, 19h30
  5. Choix d'un langage de programmation pour une application orientée web
    Par Mick DG dans le forum Général Conception Web
    Réponses: 10
    Dernier message: 12/07/2006, 14h45

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo